.idea/misc.xml: use Java 17

Latest IDEA configuration after updating settings in the IDE.
This commit is contained in:
Alan Orth 2023-12-28 10:49:42 +03:00
parent 62138540ae
commit eb66ccbd0d
Signed by: alanorth
GPG Key ID: 0FB860CC9C45B1B9

View File

@ -1,11 +1,13 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="ExternalStorageConfigurationManager" enabled="true" />
<component name="MavenProjectsManager">
<option name="originalFiles">
<list>
<option value="$PROJECT_DIR$/pom.xml" />
</list>
</option>
<option name="workspaceImportForciblyTurnedOn" value="true" />
</component>
<component name="ProjectRootManager" version="2" languageLevel="JDK_11" project-jdk-name="11" project-jdk-type="JavaSDK" />
<component name="ProjectRootManager" version="2" languageLevel="JDK_11" project-jdk-name="17" project-jdk-type="JavaSDK" />
</project>