delete dolfin .directory

2018-12-29 19:03:06 +01:00
parent 7bbd4a7f85
commit 00dfb320e8
1 changed files with 0 additions and 10 deletions
@@ -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