diff man/search.texi @ 83896:0fc42eec71c0

Johan Bockg? <bojohan at dd.chalmers.se> (ad-make-advised-docstring): Highlight note in doc string.
author Glenn Morris <rgm@gnu.org>
date Wed, 05 Sep 2007 03:47:22 +0000 (2007-09-05)
parents 1e02a80ad090
children 37a6ca546c99 e6fdae9180d4
line wrap: on
line diff