diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..4a18b7686d47891b2ed1b0dfd190451f2a48ea25 --- /dev/null +++ b/.gitignore @@ -0,0 +1,6 @@ +*~ +*.tex +*.nav +*.snm +*.vrb +*.bak \ No newline at end of file