diff --git a/.gitignore b/.gitignore index 3379cf9..83592e6 100644 --- a/.gitignore +++ b/.gitignore @@ -4,4 +4,6 @@ *.dvi *.log output.* +*\# +*~ tmp/ diff --git a/.hgignore b/.hgignore index 6a3efcb..2335b2d 100644 --- a/.hgignore +++ b/.hgignore @@ -5,4 +5,6 @@ *.dvi *.log output.* +*\# +*~ tmp/