diff options
-rw-r--r-- | .gitignore | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/.gitignore b/.gitignore index 9028c237e..f88b441c8 100644 --- a/.gitignore +++ b/.gitignore @@ -1,11 +1,10 @@ -bedrock -fiat +.#* *~ *# -*.vo +*.aux *.d *.glob -*.aux -*.vio -Makefile.coq Makefile.bak +Makefile.coq +*.vio +*.vo |