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)
commit6967b97f179c9e6f1d9092a15719bd269af461e8
treef02a34275a254962a4a4ef84bb0b6975d74f716d
parent19b2a95ec717730a3a1dbe13093c10dc65b89870
Added rule in .gitignore for .directory files (configuration of Dolphin)
.gitignore