diff configure @ 51797:7ea30d8ab42d

(compile-auto-highlight): Default now t. (compile): Doc fix. (compilation-next-error): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 07 Jul 2003 20:53:19 +0000
parents 6a3cc9d03391
children 0bab97b183c0
line wrap: on
line diff