From d69717dd7576776c9c0a395d677aee8c92318122 Mon Sep 17 00:00:00 2001
From: Pietro <pietro.abate@inria.fr>
Date: Sat, 13 Jan 2018 13:04:46 +0100
Subject: [PATCH] gitignore: .DS_Store banished!

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index e4be9c97d..b81a3e8de 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,6 @@
 
+.DS_Store
+
 /_build
 *.install