Revision 608ecfe891c3c193e3db89c4b9fb36e2874782de authored by Michael Schierl on 19 May 2023, 22:30:10 UTC, committed by Michael Schierl on 19 May 2023, 22:30:10 UTC
To work around GitHub's file size limit, split it into multiple parts.
1 parent a5eaa72
| File | Mode | Size |
|---|---|---|
| 2020-10-27@1.zip | -rw-r--r-- | 29.6 KB |
| 2023-04-30-parts.zip | -rw-r--r-- | 138.1 KB |
| download.sh | -rw-r--r-- | 1.1 KB |
| list.json | -rw-r--r-- | 32.1 KB |
Computing file changes ...
