diff lispref/searching.texi @ 17631:35d8e74c6edb

Use defcustom.
author Richard M. Stallman <rms@gnu.org>
date Sat, 03 May 1997 19:16:43 +0000
parents 981e116b4ac6
children aa0b21b54684
line wrap: on
line diff