comparison man/search.texi @ 80831:3a98262e1528

Delete duplicate change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 29 Apr 2007 16:14:03 +0000
parents 1e02a80ad090
children 37a6ca546c99 e6fdae9180d4
comparison
equal deleted inserted replaced
80830:4032ac185542 80831:3a98262e1528