comparison make-dist @ 22256:9f422336200e

(minibuffer-history-case-insensitive-variables): Add file-name-history to it.
author Richard M. Stallman <rms@gnu.org>
date Tue, 26 May 1998 20:52:06 +0000
parents 8ff5c2a5ee26
children d929ae6f35d3
comparison
equal deleted inserted replaced
22255:7851f4551208 22256:9f422336200e