?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
update isl for change in isl_{in,}equality_alloc
[isl-polylib.git] / .gitmodules
blobf22d7b901a22d904cccca8661370a2c22f5d1baa
1 [submodule "isl"]
2         path = isl
3         url = git://repo.or.cz/isl.git
4 [submodule "polylib"]
5         path = polylib
6         url = git://repo.or.cz/polylib.git