[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: CVS directories in completion-ignored-extensions
|
From: |
Eli Zaretskii |
|
Subject: |
Re: CVS directories in completion-ignored-extensions |
|
Date: |
31 Dec 2003 07:51:14 +0200 |
> Date: Tue, 30 Dec 2003 20:34:07 -0500
> From: Miles Bader <address@hidden>
>
> So sure, without a better mechanism, there will be some annoying side-effects
> in completion, but let's program for the common case, and _keep_ CVS in
> completion-ignored-extensions.
I agree--I never meant to suggest that we remove CVS from the list.
Suggestions for improving the mechanism of ignoring are welcome.