Sam A. 1744cf7585 Fix SSH port logic again		2022-11-15 22:06:53 +00: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-15 22:06:53 +00:00