diff move-if-change @ 51805:7a3de98ae801

(Info-search): If find invisible text, search again.
author Richard M. Stallman <rms@gnu.org>
date Mon, 07 Jul 2003 21:03:32 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff