fixup! Switch to Java 17

This commit is contained in:
Erik C. Thauvin 2025-04-26 01:19:13 -07:00
parent dd5593767c
commit bc15d86285
Signed by: erik
GPG key ID: 776702A6A2DA330E
2 changed files with 2 additions and 2 deletions

2
.idea/compiler.xml generated
View file

@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="CompilerConfiguration">
<bytecodeTargetLevel target="1.8" />
<bytecodeTargetLevel target="17" />
</component>
</project>

2
.idea/misc.xml generated
View file

@ -13,7 +13,7 @@
<component name="PDMPlugin">
<option name="skipTestSources" value="false" />
</component>
<component name="ProjectRootManager" version="2" languageLevel="JDK_17" project-jdk-name="17" project-jdk-type="JavaSDK">
<component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="17" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/out" />
</component>
</project>