| Mon, 23 Jan 2023 22:33:25 +0100 | wenzelm | merged | changeset | files |
| Mon, 23 Jan 2023 22:25:17 +0100 | wenzelm | support remote operations; | changeset | files |
| Mon, 23 Jan 2023 20:27:46 +0100 | wenzelm | more elementary command-line, following lib/Tools/components; | changeset | files |
| Mon, 23 Jan 2023 20:23:48 +0100 | wenzelm | clarified defaults; | changeset | files |
| Mon, 23 Jan 2023 16:29:29 +0100 | wenzelm | more accurate options (amending 7e19dc018db9); | changeset | files |
| 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 |