Update to JDK 20

This commit is contained in:
Ralph Plawetzki
2023-04-27 18:39:46 +02:00
parent 6da107f4db
commit 97cede12b7
3 changed files with 12 additions and 12 deletions
+1 -1
View File
@@ -8,7 +8,7 @@
</list>
</option>
</component>
<component name="ProjectRootManager" version="2" languageLevel="JDK_19" default="true" project-jdk-name="19" project-jdk-type="JavaSDK">
<component name="ProjectRootManager" version="2" languageLevel="JDK_X" project-jdk-name="20" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/out" />
</component>
</project>