diff options
| author | Pierre Boutillier | 2014-02-21 12:24:33 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-02-24 14:07:07 +0100 |
| commit | 2a435ff6fdb682de0161ad4ac5893599c363bb4b (patch) | |
| tree | 20c32a384b16e3c822e2ea59df3826dc949ff6c2 /kernel/nativecode.mli | |
| parent | 26c390aae1275f02892412f121360668ad98a660 (diff) | |
make coqide-binaries does not build coqtop anymore
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions