commit d9eb82e08653522b9bb984e35d5292eec7333e30
Author: Benjamin Graillot <graillot@crans.org>
Date:   Tue Apr 27 13:26:44 2021 +0200

    [tools] Ajout de debian.md

diff --git a/tools/debian.md b/tools/debian.md
new file mode 100644
index 0000000..0f9c653
--- /dev/null
+++ b/tools/debian.md
@@ -0,0 +1,3 @@
+# Debian
+
+Le Crans utilise la distribution [Debian](https://www.debian.org/) sur ses serveurs.