diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..ad0c0c9 --- /dev/null +++ b/.gitignore @@ -0,0 +1,15 @@ +Controleurs/*.alt +ControleursOpt/*.alt +Graphs/*.pdf +Graphs/*.dot +Res/*.res +LaTeX/*.tex +Alt/tank.alt +Alt/test.alt +Spec/tank.spe +Spec/test.spe +*.tgz +*.log +*.aux +*.pdf +tank.time