?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
update isl to version 0.17.1
[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