diff src/charset.c @ 42939:0786ea38f9fd

(compilation-handle-exit): Add a compilation-handle-exit property to the "finished" message. (compilation-parse-errors): Stop parsing when that property is seen.
author Richard M. Stallman <rms@gnu.org>
date Fri, 25 Jan 2002 02:36:36 +0000
parents 478d5ff60075
children 69a3fef3cb46
line wrap: on
line diff