Minor change

[unres.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index d5a15a6..25485f3 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -16,4 +16,4 @@ gradcheck/
 mapcheck/
 run/
 sympcheck/
-
+compinfo