3 commits

Author	SHA1	Message	Date
Dave Syer	89f7b4ee96	Tweak devcontainer so java and permissions work	2022-09-27 17:14:13 +00:00
Julien Dubois	5aef5c380c	use Java 17 in devcontainers	2022-06-16 12:02:31 +01:00
Dave Syer	abee85939f	Add devcontainer and gitpod ... Also works in codespaces.	2022-06-09 11:24:17 +01:00