.gitmodules 331 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
2
3
4
5
6
7
8
9
[submodule "third-party/buddy"]
	path = third-party/buddy
	url = https://github.com/jgcoded/BuDDy
[submodule "third-party/sylvan"]
	path = third-party/sylvan
	url = git@depot.lipn.univ-paris13.fr:PMC-SOG/sylvan.git
[submodule "libraries/parser"]
	path = libraries/parser
	url = git@depot.lipn.univ-paris13.fr:PMC-SOG/pn-parser.git