.gitmodules

   1 [submodule "polylib"]
   2         path = polylib
   3         url = git://repo.or.cz/polylib.git
   4 [submodule "piplib"]
   5         path = piplib
   6         url = git://repo.or.cz/piplib.git
   7 [submodule "omega"]
   8         path = omega
   9         url = git://repo.or.cz/omega.git
  10 [submodule "isl"]
  11         path = isl
  12         url = git://repo.or.cz/isl.git
  13 [submodule "isl-polylib"]
  14         path = isl-polylib
  15         url = git://repo.or.cz/isl-polylib.git