[submodule "tools/dev_tools"]
	path = tools/dev_tools
	url = ../developer_tools.git
