De-duplicate directories with the same name, like "/etc" and "/etc/"
[febootstrap.git] / .gitmodules
2010-10-01 Matthew BoothAdd gnulib as a submodule.