zmiana w git ignore

[unres.git] / .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..10d40c5
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,6 @@
+~.[ao]
+./gradcheck/
+       ./mapcheck/
+       ./run/
+       ./sympcheck/
+