diff install-sh @ 71436:d51a5dc58935

(PC-do-completion): Retain capitalization of user input, when possible, even if completion-ignore-case is set.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 23 Jun 2006 13:05:03 +0000
parents 23a1cea22d13
children
line wrap: on
line diff