Moved to JDK 17
This commit is contained in:
parent
207c1b7e02
commit
e57f80f9d9
7 changed files with 18 additions and 17 deletions
2
.idea/misc.xml
generated
2
.idea/misc.xml
generated
|
@ -7,5 +7,5 @@
|
|||
<component name="PDMPlugin">
|
||||
<option name="skipTestSources" value="false" />
|
||||
</component>
|
||||
<component name="ProjectRootManager" version="2" languageLevel="JDK_11" project-jdk-name="19" project-jdk-type="JavaSDK" />
|
||||
<component name="ProjectRootManager" version="2" languageLevel="JDK_17" project-jdk-name="19" project-jdk-type="JavaSDK" />
|
||||
</project>
|
Loading…
Add table
Add a link
Reference in a new issue