From 761df17f89b7386c95ce3d4d69cf73a9ca3b4553 Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Sun, 19 Apr 2020 12:27:59 +0200
Subject: [PATCH] Rename .directory files to .empty to prevent conflicts with
 some file managers

---
 docs/{.directory => .empty}      | 0
 examples/{.directory => .empty}  | 0
 exercises/{.directory => .empty} | 0
 mindmaps/{.directory => .empty}  | 0
 4 files changed, 0 insertions(+), 0 deletions(-)
 rename docs/{.directory => .empty} (100%)
 rename examples/{.directory => .empty} (100%)
 rename exercises/{.directory => .empty} (100%)
 rename mindmaps/{.directory => .empty} (100%)

diff --git a/docs/.directory b/docs/.empty
similarity index 100%
rename from docs/.directory
rename to docs/.empty
diff --git a/examples/.directory b/examples/.empty
similarity index 100%
rename from examples/.directory
rename to examples/.empty
diff --git a/exercises/.directory b/exercises/.empty
similarity index 100%
rename from exercises/.directory
rename to exercises/.empty
diff --git a/mindmaps/.directory b/mindmaps/.empty
similarity index 100%
rename from mindmaps/.directory
rename to mindmaps/.empty