3 Commits
Author SHA1 Message Date
Eduardo HCS e6099bea77 Meta: Add User-Agent string on request for download_file 2025-01-01 14:06:03 -05:00
Sönke Holz b0503607d9 Meta: Try to download files with gzip compression in download_file.py
This makes downloading emoji-test.txt a lot faster.
2024-11-21 10:08:16 +01:00
Sönke Holz be9c0921ff Meta: Use download_file.py for the CMake build
This required making the `-v` and `-f` arguments optional.
2024-11-21 10:08:16 +01:00