[submodule "tools/git2cl"] path = tools/git2cl url = http://repo.or.cz/r/git2cl.git [submodule "jimtcl"] path = jimtcl url = http://repo.or.cz/r/jimtcl.git