diff man/search.texi @ 72444:efffd34acd8e

- Jorgen Schaefer <forcer@forcix.cx>'s June 18 bug report Fixed in RMS' 2006-08-16 commit.
author Chong Yidong <cyd@stupidchicken.com>
date Fri, 18 Aug 2006 16:17:20 +0000
parents e9f448b5a616
children 67b9aa1b5c82 858cb33ae39d
line wrap: on
line diff