Merge branch 'master' of ssh://dbrownell@openocd.git.sourceforge.net/gitroot/openocd...
[fw/openocd] / .gitmodules
1 [submodule "tools/git2cl"]
2         path = tools/git2cl
3         url = git://repo.or.cz/git2cl.git