projects / ajpastor / diff_defined_functions.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 19b2a95)
Added rule in .gitignore for .directory files (configuration of Dolphin)
authorAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Wed, 10 Jul 2019 08:15:32 +0000 (10:15 +0200)
committerAntonio Jimenez Pastor <antonio@ebook.dk-compmath.jku.at>
Wed, 10 Jul 2019 08:15:32 +0000 (10:15 +0200)
.gitignore patch | blob | history

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