diff options
Diffstat (limited to 'vendor/Ltac2/.gitignore')
| -rw-r--r-- | vendor/Ltac2/.gitignore | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/vendor/Ltac2/.gitignore b/vendor/Ltac2/.gitignore deleted file mode 100644 index 00e15f8daa..0000000000 --- a/vendor/Ltac2/.gitignore +++ /dev/null @@ -1,18 +0,0 @@ -Makefile.coq -Makefile.coq.conf -*.glob -*.d -*.d.raw -*.vio -*.vo -*.cm* -*.annot -*.spit -*.spot -*.o -*.a -*.aux -tests/*.log -*.install -_build -.merlin |