diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2022-03-25 16:57:29 +0100 |
|---|---|---|
| committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2022-03-25 17:04:55 +0100 |
| commit | b325667e48aba3e6d3fd2889533a7cf9a948366a (patch) | |
| tree | 5dc10f81d04d5ae31ddb9a3272bf37c1ef1ab5be /2b5008db43131e21d7c100f55621457322bbc82d | |
| parent | bfe859b89594264b59bdceb3e7cc3b724e68d8f2 (diff) | |
| download | vendor_replicant-b325667e48aba3e6d3fd2889533a7cf9a948366a.tar.gz vendor_replicant-b325667e48aba3e6d3fd2889533a7cf9a948366a.tar.bz2 vendor_replicant-b325667e48aba3e6d3fd2889533a7cf9a948366a.zip | |
build.sh: Add command to print available machines
This makes it easier to reuse that script from other scripts.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to '2b5008db43131e21d7c100f55621457322bbc82d')
0 files changed, 0 insertions, 0 deletions