[submodule ".isar"]
	path = .isar
	url = https://github.com/isar/isar.git
