Commit ca793975 authored by POTTIER Francois's avatar POTTIER Francois

.gitignore update.

parent 2c1983e7
......@@ -4,3 +4,11 @@ src/_stage1
src/_stage2
src/_stage3
src/installation.ml
*.aux
*.bbl
*.blg
*.log
*.out
*.toc
*~
doc/main.pdf
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