From 6f8b342dc676f76e54716d86f79f6aef26309a18 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 20 Feb 2013 11:18:33 +0100 Subject: [PATCH] Split gitignore files. --- .gitignore | 2 -- supercomp11/.gitignore | 2 ++ 2 files changed, 2 insertions(+), 2 deletions(-) create mode 100644 supercomp11/.gitignore diff --git a/.gitignore b/.gitignore index d636809..8775011 100644 --- a/.gitignore +++ b/.gitignore @@ -5,5 +5,3 @@ auto/ *.blg *.dvi *.log -supercomp11/supercomp11.pdf -supercomp11/supercomp11.ps diff --git a/supercomp11/.gitignore b/supercomp11/.gitignore new file mode 100644 index 0000000..2311d26 --- /dev/null +++ b/supercomp11/.gitignore @@ -0,0 +1,2 @@ +supercomp11.pdf +supercomp11.ps -- 2.39.5