Add ISL and build directories to .gitignore

2019-06-30 23:21:08 -04:00 · 2019-06-30 23:21:08 -04:00 · 38f8d54c3f
parent b5b4d47c48
commit 38f8d54c3f
1 changed files with 2 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -9,3 +9,5 @@
 /mpfr-*/
 /build-*/
 /linux-*/
+/isl-*/
+/build/