diff configure @ 95393:c6d82cbe67bc

(relative_filename): Treat "///" like "/" in filenames.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 29 May 2008 20:18:07 +0000
parents 5d1a07df31c3
children e3b30a09b861
line wrap: on
line diff