summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDenise sur Titasmo <denise.maurice@normalesup.org>2015-06-19 11:33:49 +0200
committerDenise sur Titasmo <denise.maurice@normalesup.org>2015-06-19 11:33:49 +0200
commit93f7098cc855af1d119341686a69bb0442a63fcd (patch)
tree07099664bf5d944a2f6d5dbf46f3f103bfc6f396 /.gitignore
parent3cc99ef31b2fab958f5a1d6ece3c4d92f90c7114 (diff)
downloadaventuriers-93f7098cc855af1d119341686a69bb0442a63fcd.tar.gz
aventuriers-93f7098cc855af1d119341686a69bb0442a63fcd.tar.zst
aventuriers-93f7098cc855af1d119341686a69bb0442a63fcd.zip
ménage + arc 7
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore9
1 files changed, 9 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index eb63136..3f580e5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,12 @@
1*.log 1*.log
2*.aux 2*.aux
3*~ 3*~
4*.css
5*.tmp
6*.4ct
7*.4tc
8*.dvi
9*.idv
10*.lg
11*.out
12*.xref