diff etc/HELLO @ 26990:5d153e0fe112

(compilation-goto-locus): Delete hideshow overlays if they interfere. (compilation-find-file): Make intangible overlays tangible.
author Thien-Thi Nguyen <ttn@gnuvola.org>
date Sun, 26 Dec 1999 12:59:52 +0000
parents aa74cdb3570e
children 6d96f2643b05
line wrap: on
line diff