Commit b41ff2d3 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

.gitignore for theories and modules subdirs

parent 618edb93
......@@ -75,6 +75,7 @@ why.conf
/doc/manual.wdvi
/doc/manual.raux
/doc/manual.log
/doc/manual.lof
/doc/manual.toc
/doc/manual.aux
/doc/manual.bbl
......@@ -203,3 +204,10 @@ why.conf
/examples/programs/isqrt/
/examples/programs/course/
/examples/programs/wcet_hull/
/examples/programs/binary_search2/
# theories
/theories/int/
# modules
/modules/string/
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment