[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
