.gitmodules

   1 [submodule "barvinok"]
   2         path = barvinok
   3         url = git://repo.or.cz/barvinok.git
   4 [submodule "isl"]
   5         path = isl
   6         url = git://repo.or.cz/isl.git
   7 [submodule "pet"]
   8         path = pet
   9         url = git://repo.or.cz/pet.git