diff Makefile.in @ 18037:354ae98947b5

(search-highlight): Make it t by default. (search-invisible): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Fri, 30 May 1997 05:15:48 +0000
parents 52f0da9d19ff
children 2af2dc0cd97f
line wrap: on
line diff