deployment-diff-20240311120031

diffogarden-script 11th March 2024 at 12:00pm

Added:

diffogarden public whiteboard of ideas

diffogarden

making the raspberry pi boot from external hdd

raspberry pi works

Modified:

Introduction

changes to the website

improve paogarden deployment routine

now