.gitmodules

   1 [submodule "isl"]
   2         path = isl
   3         url = git://repo.or.cz/isl.git
   4 [submodule "osl"]
   5         path = osl
   6         url = git://repo.or.cz/openscop.git