zmiana binarki...

[unres.git] / .gitignore

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