diff INSTALL @ 25413:c23f7efbfd57

(diff-parse-differences): Use a marker instead of an integer for `compilation-parsing-end'.
author Richard M. Stallman <rms@gnu.org>
date Sat, 28 Aug 1999 18:21:34 +0000
parents 7f38d541d411
children b47b74998eef
line wrap: on
line diff