isl_printer_print_basic_set: fix up printing to string printer
[isl.git] / .gitmodules
blobd7912b033fe09e457419c12081bab0ae26cb0469
1 [submodule "piplib"]
2         path = piplib
3         url = git://repo.or.cz/piplib.git