From 30f71a2a6140a4759a43530f6c27caa4bf3157dd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Blondon?= Date: Thu, 10 Apr 2025 09:20:49 +0200 Subject: [PATCH] clean: delete uneeded .gitkeep file doc/ directory contains style.css file so the directory is not empty. --- doc/.gitkeep | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 doc/.gitkeep diff --git a/doc/.gitkeep b/doc/.gitkeep deleted file mode 100644 index e69de29b..00000000