[Ohrrpgce] SVN: teeemcee/13093 download_file and distribmenu now always skip downloads if the file's un

[subversion at HamsterRepublic.com]

teeemcee
2022-09-02 20:05:54 -0700 (Fri, 02 Sep 2022)
311
download_file and distribmenu now always skip downloads if the file's unchanged

Distribmenu benefits from this by not deleting the old files before downloading.

Changed download_file arguments to simplify.
Previously, download_file skipped downloading only if using curl or if not using
the forcefilename arg.
---
U   wip/common.bi
U   wip/common.rbas
U   wip/distribmenu.bas
U   wip/whatsnew.txt