diff options
| author | Pierre Boutillier | 2014-06-12 20:01:25 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-06-30 15:55:55 +0200 |
| commit | d6873d8bf7272eb45c06d5f5a810302525a12226 (patch) | |
| tree | cff1eb898453086b5d3721b7cca493d282223337 /kernel/nativelambda.mli | |
| parent | a82eb26100d55110ce7d7cb508d49d1fad8ebd37 (diff) | |
Coq_makefile takes advantages of -I -Q -R cleanup
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions