diff make-dist @ 22257:23e2e03f2bf6

(minibuffer-history-case-insensitive-variables): New var. (previous-matching-history-element): Implement it.
author Richard M. Stallman <rms@gnu.org>
date Tue, 26 May 1998 20:55:22 +0000
parents 8ff5c2a5ee26
children d929ae6f35d3
line wrap: on
line diff