diff options
| author | Théo Zimmermann | 2018-11-06 14:17:01 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-06 14:17:01 +0100 |
| commit | 34a9ce15d39a5adeef38f77289eb66ac296af68c (patch) | |
| tree | 02901b13f2e5b85d7dff9fd9b446a29e06a0c0a5 /kernel | |
| parent | 11879733b7f2d2554bcfc7a851479ec8adc3e97e (diff) | |
| parent | 33cc626936d2c05a98ebf6d2e31bda7217c030b1 (diff) | |
Merge PR #8903: [dune] Add to vo rules explicit location of coqlib in boot mode.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions