diff man/search.texi @ 50959:2f1f53618f51

Fix typo.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 12 May 2003 22:19:10 +0000
parents f37984f93151
children 695cf19ef79e
line wrap: on
line diff