diff options
| author | alex <alex@pdp7.net> | 2023-01-28 19:53:28 +0100 |
|---|---|---|
| committer | alex <alex@pdp7.net> | 2023-01-28 19:53:56 +0100 |
| commit | 1a86fde3e0d6ec6546624d6eae1e9aec64ffe40f (patch) | |
| tree | 0ae7402326c2fcd37704fb0634d115430593c6d7 /IDEAS.org | |
| parent | 9de23e4b97338821eb340f6fc488cffed0241329 (diff) | |
Use zip instead of tar.
I had some permission issues, and I couldn't find an easier way to solve
them.
Diffstat (limited to 'IDEAS.org')
0 files changed, 0 insertions, 0 deletions