unified .gitignore

[unres.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 918a787..8a8f64c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,12 @@
 *~
 
 
-# ifnore build dir
+# ignore build dir
 build/
 
+# ignored dirs form adasko
+gradcheck/
+mapcheck/
+run/
+sympcheck/
+