comparison man/search.texi @ 44801:b986daa6d686

Re-add accidentally deleted `@key'.
author Miles Bader <miles@gnu.org>
date Wed, 24 Apr 2002 00:58:45 +0000
parents 32211007711c
children 230b150398fa
comparison
equal deleted inserted replaced
44800:c5e37bb207a2 44801:b986daa6d686