De-duplicate directories with the same name, like "/etc" and "/etc/"
[febootstrap.git] / febootstrap_utils.ml
2010-12-05 Richard W.M. JonesRewrite febootstrap as a general supermin appliance... 3.0