|
| From: | Paul Eggert |
| Subject: | Re: [Emacs-diffs] master 690512d: Fix a FIXME with an exegetical comment |
| Date: | Sat, 26 Aug 2017 01:10:50 -0700 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 |
Eli Zaretskii wrote:
Is wksh no longer included in the popular distributions?
No. It was a commercial product, and was never part of GNU or BSD distributions. It was in use for only a year or two, and was almost immediately supplanted by dtksh (another commercial product) around 1993. Nobody has used wksh for many years.
In any case, we don't normally remove stuff before deprecating it for some period of time. Should this case be an exception
I'd say so, yes, since nobody uses wksh.
| [Prev in Thread] | Current Thread | [Next in Thread] |