Sam A. d0904a96a8 Fix SSH port logic again		2022-11-13 22:03:45 +01:00
..
docker	Fix 2022.slides, and use git.data.coop repo	2022-11-12 19:30:38 +01:00
ubuntu_base	Fix SSH port logic again	2022-11-13 22:03:45 +01:00