diff --git a/.gitignore b/.gitignore old mode 100644 new mode 100755 index b1d7a90..ec7df04 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,4 @@ out/* pdf/* revision.tex +.DS_Store