Add tool to fetch config from Factory

2022-10-27 15:18:17 +02:00
parent d1b1a7440b
commit 54b5646b5a
4 changed files with 32 additions and 1 deletions
--- a/7
+++ b/7
@@ -0,0 +1,7 @@
+_config: getconfig
+	./getconfig
+
+pull:
+	git submodule foreach git pull --ff-only
+
+.PHONY: pull