Update repo

This commit is contained in:
Willem Dantuma 2023-08-30 12:05:48 +02:00
parent ead54fbd89
commit 7a7936c4ed

4
.gitmodules vendored
View File

@ -1,4 +1,4 @@
[submodule "re3gistry"] [submodule "re3gistry"]
path = re3gistry path = re3gistry
url = https://github.com/ec-jrc/re3gistry.git url = https://github.com/wdantuma/re3gistry.git
branch = v2.4.2 branch = add-config-properties