Remove Paolo's variant of the algorithm, with his permission.
[gnulib.git] / modules / double-slash-root
2006-12-18 Paul Eggert* lib/dirname.h (DOUBLE_SLASH_IS_DISTINCT_ROOT): Defaul...