[submodule "dist/submodules/CORE"]
	path = dist/submodules/CORE
	url = https://git.staropensource.de/StarOpenSource/CORE-distrib-git.git
[submodule "dist/submodules/SUI"]
	path = dist/submodules/SUI
	url = https://git.staropensource.de/StarOpenSource/SUI-distrib.git