.gitmodules


1
2
3
4
5
6
7
8
9

[submodule "deps/acetao"]
	path = deps/acetao
	url = git://gitorious.org/doc/ace.git
[submodule "deps/MPC"]
	path = deps/MPC
	url = git://gitorious.org/doc/mpc.git
[submodule "deps/TAO"]
	path = deps/TAO
	url = git://gitorious.org/doc/tao.git