From 520ce1b13a7843efe110d0ae3b9ae16795a92b08 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 17 Dec 2020 10:06:47 +0000
Subject: Add .DS_Store to .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit