| Mon, 23 Jan 2023 16:15:45 +0100 | wenzelm | clarified defaults; | changeset | files |
| Mon, 23 Jan 2023 15:43:09 +0100 | wenzelm | support remote download_file; | changeset | files |
| Mon, 23 Jan 2023 15:15:19 +0100 | wenzelm | more modular shell script; | changeset | files |