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