diff move-if-change @ 36289:931b5c1e2d14

(Completion Options): Add an index for "ignored file names".
author Eli Zaretskii <eliz@gnu.org>
date Thu, 22 Feb 2001 13:33:05 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff