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-28@5.zip | -rw-r--r-- | 4.5 KB |
2020-11-03@3.zip | -rw-r--r-- | 3.5 KB |
2020-11-04@3.zip | -rw-r--r-- | 4.7 KB |
2020-11-05@3.zip | -rw-r--r-- | 3.7 KB |
2020-11-08@5.zip | -rw-r--r-- | 4.5 KB |
2020-11-09@5.zip | -rw-r--r-- | 4.9 KB |
2020-11-10@4.zip | -rw-r--r-- | 3.9 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-- | 25.8 KB |
Computing file changes ...