diff options
author | Dominik Riebeling <Dominik.Riebeling@gmail.com> | 2020-11-15 18:52:10 +0100 |
---|---|---|
committer | Dominik Riebeling <Dominik.Riebeling@gmail.com> | 2020-11-15 18:52:10 +0100 |
commit | 2b2a7b9ae340e2f7273c79ebb8d6140b8fd7aa35 (patch) | |
tree | 8f254861a3f31ebc6e19a876ac1b52930c14933c /manual/plugins/theme_remove.tex | |
parent | 687edc1866bc605d793ad57f8a6aaaeb63fa4fae (diff) | |
download | rockbox-2b2a7b9ae340e2f7273c79ebb8d6140b8fd7aa35.tar.gz rockbox-2b2a7b9ae340e2f7273c79ebb8d6140b8fd7aa35.zip |
rbutil: Simplify manual download URL handling.
- Don't construct the URL directly. The ServerInfo already has it, use
that instead.
- Don't manually construct the output filename. ZipInstaller will use
the server filename automatically.
Change-Id: Ib44616daf5efc95b238418b6e699ccd56c40b011
Diffstat (limited to 'manual/plugins/theme_remove.tex')
0 files changed, 0 insertions, 0 deletions