comparison make-dist @ 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 f41775f4f5c6
children da70e30f73b9
comparison
equal deleted inserted replaced
14715:0bb2443dcc6d 14716:f70d94fe685f