mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-15 16:44:36 +02:00
8269700: source level for IntelliJ JDK project is set incorrectly
Reviewed-by: mcimadamore
This commit is contained in:
parent
8a7b380ebb
commit
371d996a89
1 changed files with 1 additions and 1 deletions
|
@ -12,7 +12,7 @@
|
||||||
<target file="file://###ROOT_DIR###/make/ide/idea/jdk/build.xml" name="images" />
|
<target file="file://###ROOT_DIR###/make/ide/idea/jdk/build.xml" name="images" />
|
||||||
</ant>
|
</ant>
|
||||||
</component>
|
</component>
|
||||||
<component name="ProjectRootManager" version="2" languageLevel="JDK_16" assert-keyword="true" jdk-15="true">
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_X" assert-keyword="true" project-jdk-type="JavaSDK">
|
||||||
<output url="file://###BUILD_DIR###/idea" />
|
<output url="file://###BUILD_DIR###/idea" />
|
||||||
</component>
|
</component>
|
||||||
</project>
|
</project>
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue