diff man/woman.texi @ 45120:254bce531056

(find-function-search-for-symbol): Bind case-fold-search when searching.
author Markus Rost <rost@math.uni-bielefeld.de>
date Sat, 04 May 2002 15:40:34 +0000
parents 661b1aa856cc
children 3c7e78fd0dae
line wrap: on
line diff