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 2311d26e09bccf68dec25f965531dc34ca5e7081..5c7f2f8ab8242e67d8cd1c2a257b2acb4b16ffa3 100644 (file)
--- a/supercomp11/.gitignore
+++ b/supercomp11/.gitignore
@@ -1,2 +1,4 @@
 supercomp11.pdf
 supercomp11.ps
+
+data/results.done