diff man/search.texi @ 73847:d4b9e5c377b4

Undo last fix.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 09 Nov 2006 03:31:09 +0000
parents 2163c8428b91
children 5fffe049d3bf 02cf29720f31
line wrap: on
line diff