Overview
| Comment: | OFZIP: Accept .GZ (uppercase) files |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
0909bbc67890a841be921d2e07111940 |
| User & Date: | js on 2016-05-16 11:45:50 |
| Other Links: | manifest | tags |
Context
|
2016-05-16
| ||
| 13:44 | OFZIP: Add a mode for printing files check-in: fed68f8fd5 user: js tags: trunk | |
| 11:45 | OFZIP: Accept .GZ (uppercase) files check-in: 0909bbc678 user: js tags: trunk | |
| 11:14 | Minor documentation improvements check-in: 5a3133f9d8 user: js tags: trunk | |
Changes
Modified utils/ofzip/OFZIP.m from [e55440f44b] to [5ee35aa87f]. [diff]