add isl_map_copy_basic_map and isl_map_drop_basic_map
[platform/upstream/isl.git] / .gitmodules
1 [submodule "piplib"]
2         path = piplib
3         url = git://repo.or.cz/piplib.git