more direct access to jEdit jar resources, without unzip;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEc7996b073524: clarified check: allow to remove bad directories;
- Branches
- Unknown
- Tags
more direct access to jEdit jar resources, without unzip; Tags None Subscribers None |