scop.c: schedule_embed: drop unused variable
[pet.git] / .gitmodules
blob8c893c2a945d6f82675f9fb78f1a750c82df9829
1 [submodule "isl"]
2         path = isl
3         url = git://repo.or.cz/isl.git