diff leim/CXTERM-DIC/4Corner.tit @ 102622:d4e19d304e30

(file_name_completion): Disable the first optimization just installed, since it is not implemented correctly.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 18 Mar 2009 02:26:29 +0000
parents 04f23eb0c0ca
children 07774e5c3ff5 f1196eda45a0 ef719132ddfa
line wrap: on
line diff