From: Antonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Date: Wed, 10 Jul 2019 08:15:32 +0000 (+0200)
Subject: Added rule in .gitignore for .directory files (configuration of Dolphin)
X-Git-Url: http://git.risc.jku.at/gitweb/?a=commitdiff_plain;h=6967b97f179c9e6f1d9092a15719bd269af461e8;p=ajpastor%2Fdiff_defined_functions.git

Added rule in .gitignore for .directory files (configuration of Dolphin)
---

diff --git a/.gitignore b/.gitignore
index d858920..6a414b1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
+# Directory configuration files
+.directory
 
 # Byte-compiled / optimized / DLL files
 __pycache__/