summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2020-09-11 09:38:10 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2020-09-11 09:38:10 +0200
commitb2325314cc3a689a7bbc0e557aa41b47652eb6cb (patch)
tree564f5cd218c6fdff486f72df7c3e5a765aaaebd9
parent0058d62f499c91c62b4c9b198118ac3a5e63f6e8 (diff)
versuchung: use JSON metadata branch
-rw-r--r--.gitmodules3
m---------ext/versuchung0
2 files changed, 2 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules
index 2baed33..98154e0 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -3,4 +3,5 @@
url = https://github.com/ulfalizer/Kconfiglib.git
[submodule "versuchung"]
path = ext/versuchung
- url = https://github.com/stettberger/versuchung.git
+ url = https://github.com/derf/versuchung.git
+ branch = json-metadata
diff --git a/ext/versuchung b/ext/versuchung
-Subproject 849520ee1eed198f52094b63fa71d32c50a7d0d
+Subproject 381d7bbb6545eb41e3784048270ab0a7182634e