remove obsolete kontor.py

2025-04-30 17:31:18 +02:00
parent 304005822c
commit 931b4a0aba
1043 changed files with 61259 additions and 0 deletions
@@ -0,0 +1,9 @@
+kontor_api := kontor-api
+kontor_spring := kontor-spring
+
+.PHONY: all $(kontor_spring) $(kontor_api)
+all: $(kontor_spring) $(kontor_api)
+
+$(kontor_spring) $(kontor_api):
+	$(MAKE) --directory=$@ $(TARGET)
+