diff etc/DISTRIB @ 28619:79fd94833204

(iswitchb-case): New function. If the user input contains any upper-case characters, the search is made case-sensitive.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 17 Apr 2000 12:31:49 +0000
parents 6b5aacec5ace
children 1e525e729760
line wrap: on
line diff