diff options
| author | Hugo Herbelin | 2016-11-12 03:08:56 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2017-05-29 12:12:56 +0200 |
| commit | d53ba17d1761261593c598b6a88cfd6ce0eb3514 (patch) | |
| tree | df442236534c337d8eaba771ff15bebf4e806240 /kernel/cbytecodes.mli | |
| parent | 34a2f9eb315da8b794f2573bdfc8ff941d81bdbe (diff) | |
Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.
This goes towards an approach where a local layout can be seen as an
installed layout.
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions