Marcin Grzejszczak 4d08863914 Update pom.xml

2024-11-06 22:48:51 +01:00

..

project

Update gradle.properties

2024-11-06 21:55:49 +01:00

sdkman

…

build_adocs.sh

Done

2023-09-11 19:00:22 +02:00

Dockerfile

Made JDK17 default for Verifier Docker image

2022-06-07 10:23:34 +02:00

get_dependencies.sh

Fixed the Gradle setup

2023-09-06 14:30:56 +02:00

pom.xml

Update pom.xml

2024-11-06 22:48:51 +01:00

sdkman.config

…