removed pointless NEWS: both Docker/ubuntu and Cygwin provide perl by default;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE71e44f03fea3: actually use cygwin-20211002 (amending ff0ca375457c);
- Branches
- Unknown
- Tags