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 /.gitignore | |
| parent | 0a5bbf347b5bbcb579f94eb3d0166778cd92cfdb (diff) | |
Remove outdated gitignore coqprojectfile.ml
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 0411247abf..2df98f7c59 100644 --- a/.gitignore +++ b/.gitignore @@ -134,7 +134,6 @@ coqpp/coqpp_parse.mli g_*.ml -lib/coqProject_file.ml plugins/ltac/coretactics.ml plugins/ltac/extratactics.ml plugins/ltac/extraargs.ml |