diff msdos/sed1v2.inp @ 25414:7c4808c6804b

(tex-compilation-parse-errors): Use a marker instead of an integer for `compilation-parsing-end'.
author Richard M. Stallman <rms@gnu.org>
date Sat, 28 Aug 1999 18:22:20 +0000
parents 8c634c8d8401
children d7fc0ed0cd81
line wrap: on
line diff