update isl for isl_schedule_node_guard
[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