diff etc/GNU @ 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 6b5aacec5ace
children 3ef78eaf5dca d7ddb3e565de 68c22ea6027c
line wrap: on
line diff