diff man/search.texi @ 47120:16d24d1d0e99

(font-lock-defaults): Fix typo.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 30 Aug 2002 11:00:46 +0000
parents 5681198aa760
children 2eca4c95c2bf
line wrap: on
line diff