From 9144874579f1346ee0d1bf5a73e4ffb7b3e6fe74 Mon Sep 17 00:00:00 2001
From: Jeff Lance <jean-francois.lance@ac-creteil.fr>
Date: Fri, 24 Nov 2023 23:53:19 +0100
Subject: [PATCH] update .gitignore exclude .empty files as used to push empty
 dirs

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..d2a060b
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+### Empty dirs ###
+.empty
+