tech-kern archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

re: Proposal: Deprecate (or rename) extsrc/



> I propose that we deprecate or remove the "extsrc/" tree,
> as the name name-complete conflicts with "external/".

yes, please.


.mrg.


Home | Main Index | Thread Index | Old Index