diff config.bat @ 57958:117144126cd9

(Info-search): Don't search in node header lines and file headers.
author Juri Linkov <juri@jurta.org>
date Fri, 05 Nov 2004 19:06:24 +0000
parents 9e48278ca4fb
children f5d8b003702f 0bdb5a16ae51
line wrap: on
line diff