From 4787401267c8333c10f7f6b9fa3deaf17657f0ed Mon Sep 17 00:00:00 2001
From: Hanno Braun <hanno@braun-odw.eu>
Date: Tue, 23 Jan 2024 11:54:44 +0100
Subject: [PATCH] Add `README.md` for `tools/`

---
 tools/README.md | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tools/README.md

diff --git a/tools/README.md b/tools/README.md
new file mode 100644
index 000000000..04503a971
--- /dev/null
+++ b/tools/README.md
@@ -0,0 +1 @@
+This is a collection of tools that are used for the build process and release automation. Nothing here is relevant for *users* of Fornjot.