diff --git a/.gitignore b/.gitignore index 3a77d01..752b0e7 100644 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,10 @@ dist-newstyle/ .direnv/ .envrc result +*.hp +*.aux +*.ps +*.prof +*.local +*.svg +*~