# HG changeset patch # User Giulio Moro # Date 1442263341 -3600 # Node ID c8eed38984fd32a29c1f484e28808e52166bb263 # Parent dbac188fbb922591ca4ef27546d8255fcd042872 Removed useless filez diff -r dbac188fbb92 -r c8eed38984fd .DS_Store Binary file .DS_Store has changed diff -r dbac188fbb92 -r c8eed38984fd .hgignore --- a/.hgignore Mon Sep 14 16:20:10 2015 +0100 +++ b/.hgignore Mon Sep 14 21:42:21 2015 +0100 @@ -6,3 +6,4 @@ .snm .synctex.gz .toc +.DS_Store