diff make-dist @ 14562:81e0082c39e4

(compilation-parse-errors): Detect doubled slashes in file names matched and fix them up in the buffer.
author Roland McGrath <roland@gnu.org>
date Tue, 13 Feb 1996 03:05:14 +0000
parents 05f4d693bbbf
children f41775f4f5c6
line wrap: on
line diff