Commit graph

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