comparison doc/misc/woman.texi @ 97131:d622f6dc147d

Isearch-related changes.
author Juri Linkov <juri@jurta.org>
date Wed, 30 Jul 2008 16:41:43 +0000
parents a9190e1a1d37
children 6de181810d0f
comparison
equal deleted inserted replaced
97130:afe461418852 97131:d622f6dc147d