update pet to version 0.11.4
[ppcg.git] / .gitmodules
blobab72b1fff5fbc012fe0012d5accbb30dec3d15d5
1 [submodule "isl"]
2         path = isl
3         url = git://repo.or.cz/isl.git
4 [submodule "pet"]
5         path = pet
6         url = git://repo.or.cz/pet.git