From d9bd957bb0e58c61a1a7f32753906215d99214c2 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Fri, 1 Apr 2011 15:28:08 +0200 Subject: [PATCH] Add .gitignore. --- .gitignore | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..d636809 --- /dev/null +++ b/.gitignore @@ -0,0 +1,9 @@ +auto/ +*~ +*.aux +*.bbl +*.blg +*.dvi +*.log +supercomp11/supercomp11.pdf +supercomp11/supercomp11.ps -- 2.39.5