Switch to Java 17

This commit is contained in:
Erik C. Thauvin 2025-04-26 00:36:20 -07:00
parent f8241e7e96
commit 16420f5916
Signed by: erik
GPG key ID: 776702A6A2DA330E
6 changed files with 11 additions and 11 deletions

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_1_8" project-jdk-name="17" project-jdk-type="JavaSDK">
<component name="ProjectRootManager" version="2" languageLevel="JDK_17" project-jdk-name="17" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/out" />
</component>
</project>