From f9ea2bc82239911223da435bf09fcd25df4d9b0c Mon Sep 17 00:00:00 2001 From: Antoine Rey Date: Sun, 31 Dec 2023 16:10:02 +0100 Subject: [PATCH] Create devcontainer.json --- .devcontainer/devcontainer.json | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 .devcontainer/devcontainer.json diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 000000000..fa3f33b80 --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,10 @@ +{ + "image": "mcr.microsoft.com/devcontainers/universal:2", + "features": { + "ghcr.io/devcontainers/features/java:1": { + "version": "17", + "installMaven": "true", + "mavenVersion": "3.8.6" + } + } +}