diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | lib/coq/.gitignore | 1 | ||||
| -rw-r--r-- | test/mono/.gitignore | 1 |
3 files changed, 2 insertions, 2 deletions
@@ -33,6 +33,7 @@ lib/hol/sail-heap *.glob .*.aux /lib/coq/.nia.cache +/lib/coq/deps # Isabelle @@ -75,6 +76,7 @@ lib/hol/sail-heap /test/mono/log /test/mono/test.cmi /test/mono/test.cmo +/test/mono/test-output /language/*.pdf /language/*.uo diff --git a/lib/coq/.gitignore b/lib/coq/.gitignore deleted file mode 100644 index 1aa62803..00000000 --- a/lib/coq/.gitignore +++ /dev/null @@ -1 +0,0 @@ -deps
\ No newline at end of file diff --git a/test/mono/.gitignore b/test/mono/.gitignore deleted file mode 100644 index bb7f92e1..00000000 --- a/test/mono/.gitignore +++ /dev/null @@ -1 +0,0 @@ -test-output
\ No newline at end of file |