Sebastien Bourdeauducq dbc288c813 fix IP for rpi-5, rename to rpi-ext		2021-03-05 18:57:20 +08:00
nixbld-etc-nixos	fix IP for rpi-5, rename to rpi-ext	2021-03-05 18:57:20 +08:00
nixops	fix IP for rpi-5, rename to rpi-ext	2021-03-05 18:57:20 +08:00