isl_union_pw_*_{intersect_domain,gist}: update to change of isl_pw_* space
[isl.git] / .gitmodules
blobd7912b033fe09e457419c12081bab0ae26cb0469
1 [submodule "piplib"]
2         path = piplib
3         url = git://repo.or.cz/piplib.git