diff man/glossary.texi @ 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 02b9a9aa5b0c
children
line wrap: on
line diff