git ignore

[unres.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 8a8f64c..8a37c6b 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -14,4 +14,4 @@ gradcheck/
 mapcheck/
 run/
 sympcheck/
-
+compinfo