From cf5cb8eb9aa55638fcd9dbc0998dcba360fbeeb6 Mon Sep 17 00:00:00 2001 From: Christoph Date: Tue, 14 Apr 2020 17:44:58 +0200 Subject: [PATCH] docker profile logging --- system.properties | 1 + 1 file changed, 1 insertion(+) create mode 100644 system.properties diff --git a/system.properties b/system.properties new file mode 100644 index 0000000..6bea4c3 --- /dev/null +++ b/system.properties @@ -0,0 +1 @@ +java.runtime.version = 11