De-duplicate directories with the same name, like "/etc" and "/etc/"
[febootstrap.git] / .gitmodules
1 [submodule "gnulib"]
2         path = gnulib
3         url = git://git.sv.gnu.org/gnulib.git