-
Georges Racinet authored
Although it was used only for `gitlab-prebuilds/` (not redirected to mirrors, and probably never will), this is more future proof than keeping it. In particular, things should work seamlessly if later down the road we decide to make download.h.n and upload.h.n completely separate.
bfe6761e225f