diff --git a/gitignore b/gitignore new file mode 100644 index 0000000..97d5726 --- /dev/null +++ b/gitignore @@ -0,0 +1,4 @@ +*.dvi +*.toc +*.aux +*.log