[submodule ".isar"]
	path = .isar
	url = https://github.com/isar-community/isar-community
[submodule ".mimir"]
	path = .mimir
	url = https://github.com/GregoryConrad/mimir
