From ddb9533c7dc6f3dd68a6bb0c059e5570ce5b1018 Mon Sep 17 00:00:00 2001
From: Martin Teichmann <martin.teichmann@gmail.com>
Date: Sun, 26 Feb 2023 15:36:38 +0000
Subject: [PATCH] make building docs on gitlab work again

---
 known_hosts | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 known_hosts

diff --git a/known_hosts b/known_hosts
new file mode 100644
index 0000000..8369beb
--- /dev/null
+++ b/known_hosts
@@ -0,0 +1 @@
+exflqr30526,131.169.220.113 ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQCcPp1A0EeC72+tSXKqfVfIlxAKq3Bp7CA2LfSbYD9hw4SKp6UhGcM8R5eQ5wnoMCoJ4IwqMqA0Mi24K9kgQxpAao6GOh3Yx+YznLtKGZRx3EYUM+9s+fDEzmZvymZF5aBqfwx6j1aUiSKciVbo/DNjU0PxuTjliicZqqOaaPVZPMHJA9GZuvwvfxcaFp8fDWAMSRKr01rihcJZljXLe8ZLBZTYt8i+W561WrgZiGztLxaBMT9o+MbEkHsUor5xBidW6NOH1TkQw3wiVp0vl6/ca9VskMIr3OuWCdce6YqR3GC3wBJMMgUeFxyKr3t0k1b4Voxbcy1dh0ObaFPniBAv
-- 
GitLab