unzip -La converts to lowercase file names and strips away the messy
^M's ... rest in peace for the sed line .. ;-)
Description
Description
Details
Details
- Provenance
andreas Authored on - Parents
- rP7702: Distfile moved, change path
- Branches
- Unknown
- Tags