diff make-dist @ 102621:7183ab1b842a

(file_name_completion): Check completion-ignored-extensions only if the entry can't affect bestmatch anyway. Stop the search early, as Ftry_completion already does.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 17 Mar 2009 19:05:40 +0000
parents c86e2f4ec9f8
children a4c64847c698
line wrap: on
line diff