diff configure.in @ 14716:f70d94fe685f

(command-line-normalize-file-name): Convert /// at beginning to just /.
author Richard M. Stallman <rms@gnu.org>
date Wed, 28 Feb 1996 23:30:24 +0000
parents 0bb2443dcc6d
children 6ad33cc68905
line wrap: on
line diff