chmod +x.

[loba-papers.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index d636809240b12f2704c2a391e190a7b727f601f4..8775011306ee211218004bdb19eaae98aee61615 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -5,5 +5,3 @@ auto/
 *.blg
 *.dvi
 *.log
-supercomp11/supercomp11.pdf
-supercomp11/supercomp11.ps