Move katja into a separate repository

2025-04-19 14:48:48 +02:00
parent 0e6de99821
commit 20f3d98d63
16 changed files with 0 additions and 795 deletions
--- a/config/katja.conf.dist
+++ b/config/katja.conf.dist
@@ -1,2 +0,0 @@
-[sbo]
-path = "/home/path/to/local/repository"