diff FTP @ 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 23a1cea22d13
children 6cd56cde7cd4
line wrap: on
line diff