diff man/search.texi @ 72888:d688b3faf96b

(Setting tags): Typo fix.
author Carsten Dominik <dominik@science.uva.nl>
date Fri, 15 Sep 2006 03:55:23 +0000
parents 63d522f27621
children 2163c8428b91 a1a25ac6c88a
line wrap: on
line diff