diff man/idlwave.texi @ 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 1061224d9cb0
children a687c07c44a6
line wrap: on
line diff