diff src/w32console.c @ 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 a4c871b96d4b
children fe54558f20d8
line wrap: on
line diff