tech-userlevel archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: Proposal: Deprecate (or rename) extsrc/
On Sat, 8 Jan 2022 at 00:29, matthew green <mrg%eterna.com.au@localhost> wrote:
> > I propose that we deprecate or remove the "extsrc/" tree,
> > as the name name-complete conflicts with "external/".
>
> yes, please.
>
>
Count me in as well - the name completion collision has always annoyed me.
Thanks,
Al
Home |
Main Index |
Thread Index |
Old Index