diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..f3494b8 --- /dev/null +++ b/.gitignore @@ -0,0 +1,12 @@ +# git ls-files --others --exclude-from=.git/info/exclude +# Lines that start with '#' are comments. +# For a project mostly in C, the following would be a good set of +# exclude patterns (uncomment them if you want to use them): +# *.[oa] +# *~ +*.pdf +*.aux +*.fdb_latexmk +*.log +*.synctex.gz +*.fls