From 758d9c33217bb5f0ff82b47dd627b460186dd2f2 Mon Sep 17 00:00:00 2001
From: Fabio Di Stasio <fabio286@gmail.com>
Date: Tue, 18 Apr 2023 11:56:36 +0200
Subject: [PATCH] Initial Home page

---
 Home.md | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Home.md

diff --git a/Home.md b/Home.md
new file mode 100644
index 0000000..8dcc354
--- /dev/null
+++ b/Home.md
@@ -0,0 +1 @@
+Welcome to the mizar wiki!