1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index b020b15..46ee275 100644
--- a/.gitignore
+++ b/.gitignore
@@ -49,3 +49,4 @@ dune-project
 .merlin
 
 /docs/html
+.DS_Store