diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..cc98fadde19699577f4de864812528a226be0256 --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +*.aux +*.dvi +*.log +*.gz +*.backup