comparison make-dist @ 80662:11132aa5cccf

(abbreviate-file-name): When replacing $HOME with ~, turn off case-fold-search.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 31 Jul 2008 21:12:21 +0000
parents 6c914e475446
children ff108ff68535 fa454b3c5b7b
comparison
equal deleted inserted replaced
80661:a44f4ed31447 80662:11132aa5cccf