update pet for support for recent versions of clang
[ppn.git] / .gitmodules
blob32dc00b2925321f142036bf4c880358daa295cfb
1 [submodule "barvinok"]
2         path = barvinok
3         url = git://repo.or.cz/barvinok.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