diff options
| author | Assia Mahboubi | 2015-06-26 00:09:51 +0200 |
|---|---|---|
| committer | Assia Mahboubi | 2015-06-26 00:11:56 +0200 |
| commit | 04e2316998678c08711bcaa0a0e762f22e90ba60 (patch) | |
| tree | e336a608b632567392cd9a3b2df4069f0662248d /kernel/nativecode.mli | |
| parent | 5e022fcf97e64a2fdb5ca97d7f877557591fc93c (diff) | |
Some edition in the coq_makefile/_CoqProject section.
There are still two items I do not undertand fully (the last one about
-extra-phony, and the removal of external libraries at make clean time,
that I could not reproduce on a toy example.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions