From 2a33e55d4e5bc3a052afa33e07c10b954a857849 Mon Sep 17 00:00:00 2001
From: Jan Keim <jan.keim@kit.edu>
Date: Mon, 4 Mar 2024 17:57:40 +0100
Subject: [PATCH] Fix "Home" page for wiki

---
 docs/{ArDoCo.md => Home.md} | 1 +
 1 file changed, 1 insertion(+)
 rename docs/{ArDoCo.md => Home.md} (99%)

diff --git a/docs/ArDoCo.md b/docs/Home.md
similarity index 99%
rename from docs/ArDoCo.md
rename to docs/Home.md
index 6c39b9b81..cd5ac064a 100644
--- a/docs/ArDoCo.md
+++ b/docs/Home.md
@@ -1,3 +1,4 @@
+# ArDoCo
 
 <p align="center">
  <img alt="ArDoCo" src="https://github.com/ArDoCo/.github/raw/main/profile/logo.png" height="210"/>