From 00dfb320e83446891a83d43e0836d4b8a243ae9d Mon Sep 17 00:00:00 2001
From: simon <github@simonzeyer.de>
Date: Sat, 29 Dec 2018 19:03:06 +0100
Subject: [PATCH] delete dolfin .directory

---
 .directory | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 .directory

diff --git a/.directory b/.directory
deleted file mode 100644
index 2f51748..0000000
--- a/.directory
+++ /dev/null
@@ -1,10 +0,0 @@
-[Dolphin]
-HeaderColumnWidths=546,72,94,222
-PreviewsShown=true
-Timestamp=2018,10,22,11,49,21
-Version=4
-ViewMode=1
-VisibleRoles=Details_text,Details_size,Details_modificationtime,Details_type,CustomizedDetails
-
-[Settings]
-HiddenFilesShown=true