Add the possibility to give a filtering RE on command line.

[loba-papers.git] / supercomp11 / .gitignore

diff --git a/supercomp11/.gitignore b/supercomp11/.gitignore
index f90c70c537912718dc3e9dca9aa8a9f1533fdfea..5c7f2f8ab8242e67d8cd1c2a257b2acb4b16ffa3 100644 (file)
--- a/supercomp11/.gitignore
+++ b/supercomp11/.gitignore
@@ -1,7 +1,4 @@
 supercomp11.pdf
 supercomp11.ps
 
 supercomp11.pdf
 supercomp11.ps
 

-data/all.tex
-data/all.pdf
-data/results-[IR][1N]-1*.*[01]

 data/results.done
 data/results.done