barvinok 0.41.7
[barvinok.git] / .gitmodules
blobb79f07a56194b65f7541a7f6c3ba0ae4e139468f
1 [submodule "polylib"]
2         path = polylib
3         url = git://repo.or.cz/polylib.git
4 [submodule "isl"]
5         path = isl
6         url = git://repo.or.cz/isl.git
7 [submodule "pet"]
8         path = pet
9         url = git://repo.or.cz/pet.git