diff configure @ 42189:37cdbf5d5a09

(file_name_completion): Run the elements of completion-ignored-extensions through ENCODE_FILE.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 19 Dec 2001 17:14:39 +0000
parents 835df8cf4ef5
children b04a7400fcb8
line wrap: on
line diff