Merge branch 'development'

perezzini · Oct 20, 2017 · 6010292 · 6010292
2 parents c63085b + efecf53
commit 6010292
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,10 +1,9 @@
+tiger
 *.uo
 *.ui
 *.o
 *.bak
-res
-doc/
-tiger
-tests/
 *.output
+res/
+doc/
 debug/