From 07e5e18d4dc64e619293bed7a36c059eff9ff490 Mon Sep 17 00:00:00 2001 From: Sebastian Stenzel Date: Tue, 21 Apr 2020 08:00:55 +0200 Subject: [PATCH] Updated IDE settings to use JDK 14 [ci skip] --- .idea/jarRepositories.xml | 30 ++++++++++++++++++++++++++++++ .idea/misc.xml | 2 +- 2 files changed, 31 insertions(+), 1 deletion(-) create mode 100644 .idea/jarRepositories.xml diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml new file mode 100644 index 000000000..727c7b1bb --- /dev/null +++ b/.idea/jarRepositories.xml @@ -0,0 +1,30 @@ + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/misc.xml b/.idea/misc.xml index c20d5a34e..eab8a318e 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -8,7 +8,7 @@ - + \ No newline at end of file