diff --git a/.gitignore b/.gitignore index 25680230c07834c0ad369a12517b7b3e2501ac17..da808e597dd64b62ecf992b23e8b05774f22a5bf 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +.DS_Store auto *.toc *.log