[submodule "scripts"]
	path = scripts
	url = git://github.com/laas/dev-tools.git