Add ISL and build directories to .gitignore

This commit is contained in:
Kevin Mark 2019-06-30 23:21:08 -04:00
parent 629189831f
commit 31be60f36a
No known key found for this signature in database
GPG Key ID: BDF107FCCA30090A

2
.gitignore vendored
View File

@ -9,3 +9,5 @@
/mpfr-*/ /mpfr-*/
/build-*/ /build-*/
/linux-*/ /linux-*/
/isl-*/
/build/