From 06ba0c8449728409a9d96e8cff369a704c41f51a Mon Sep 17 00:00:00 2001
From: Matthieu Schaller <schaller@strw.leidenuniv.nl>
Date: Tue, 25 Sep 2018 12:44:56 +0100
Subject: [PATCH] Ignore the dirstamp files.

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

diff --git a/.gitignore b/.gitignore
index f78f64a8d8..9fb1fa18de 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 *~
 *.hdf5
+*.dirstamp
 
 Makefile
 Makefile.in
-- 
GitLab