summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-09-08 21:46:02 +0200
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-09-08 21:46:02 +0200
commit376bae0d4a434491c09f7de2bc794c82f521ee4e (patch)
tree6dd32f2f37437b6d531ce5f27df6e12fc703374f /.gitignore
parent7b1cd3a5936b8d49efe34516774a7951d9cd4e48 (diff)
downloadscade-analyzer-376bae0d4a434491c09f7de2bc794c82f521ee4e.tar.gz
scade-analyzer-376bae0d4a434491c09f7de2bc794c82f521ee4e.zip
Copy prez
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore8
1 files changed, 7 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 4451735..433f600 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,5 +25,11 @@ doc/prez/*
!doc/prez/Makefile
!doc/prez/prez.tex
!doc/prez/*.svg
-!doc/prez/research.bib
!doc/prez/prez.pdf
+!doc/prez/research.bib
+doc/soutenance/*
+!doc/soutenance/Makefile
+!doc/soutenance/soutenance.tex
+!doc/soutenance/*.svg
+!doc/soutenance/research.bib
+