.gitmodules 394 Bytes
Newer Older
Camil Staps's avatar
Camil Staps committed
1
[submodule "CleanTypeUnifier"]
2
	path = backend/CleanTypeUnifier
Camil Staps's avatar
Camil Staps committed
3
	url = https://github.com/clean-cloogle/CleanTypeUnifier
4 5
[submodule "backend/CleanPrettyPrint"]
	path = backend/CleanPrettyPrint
Camil Staps's avatar
Camil Staps committed
6
	url = https://github.com/clean-cloogle/CleanPrettyPrint.git
Camil Staps's avatar
Camil Staps committed
7 8 9
[submodule "backend/clean-platform"]
	path = backend/clean-platform
	url = https://gitlab.science.ru.nl/clean-and-itasks/clean-platform.git