diff oldXMenu/compile.com @ 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 bbce331da1be
children
line wrap: on
line diff