mirror of
https://github.com/Steffo99/unimore-oop-2020-cleaver.git
synced 2024-11-21 23:54:20 +00:00
Lower the language level to JDK 11
This commit is contained in:
parent
1a004172b5
commit
3ec0b145b7
1 changed files with 1 additions and 1 deletions
|
@ -8,7 +8,7 @@
|
||||||
<option name="OPTION_INCLUDE_LIBS" value="true" />
|
<option name="OPTION_INCLUDE_LIBS" value="true" />
|
||||||
<option name="OPTION_LINK_TO_JDK_DOCS" value="true" />
|
<option name="OPTION_LINK_TO_JDK_DOCS" value="true" />
|
||||||
</component>
|
</component>
|
||||||
<component name="ProjectRootManager" version="2" languageLevel="JDK_13" default="false" project-jdk-name="13" project-jdk-type="JavaSDK">
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="false" project-jdk-name="13" project-jdk-type="JavaSDK">
|
||||||
<output url="file://$PROJECT_DIR$/out" />
|
<output url="file://$PROJECT_DIR$/out" />
|
||||||
</component>
|
</component>
|
||||||
</project>
|
</project>
|
Loading…
Reference in a new issue