manual-gen/.gitmodules

[submodule "source/manual"]
	path = source/manual
	url = gitea@git.wtf-eg.de:dancesWithCycles/manual.git
feat: call git submodule add git@github.com:dancesWithCycles/manual.git source/manual/ 2022-10-21 14:11:45 +02:00			`[submodule "source/manual"]`
			`path = source/manual`
feat: adjust submodules 2022-11-23 14:38:43 +01:00			`url = gitea@git.wtf-eg.de:dancesWithCycles/manual.git`