diff --git a/.gitignore b/.gitignore index e9235a3a7..d426d7134 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ \#* .#* +.nfs* *~ *.tidy *.old