diff options
| author | Gaëtan Gilbert | 2019-01-05 18:23:45 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-01-05 18:23:45 +0100 |
| commit | 229a876f63b17fa9d472f7e972a3004fa1e50294 (patch) | |
| tree | ffcbdce0c6c7b72f658431fb985c1d006022b9aa /kernel/nativelambda.ml | |
| parent | 0a5bbf347b5bbcb579f94eb3d0166778cd92cfdb (diff) | |
Remove outdated gitignore coqprojectfile.ml
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions