[submodule "external/pips-ipmpp"]
	path = external/pips-ipmpp
	url = https://gitlab.com/pips-ipmpp/pips-ipmpp.git
