mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
24 lines
731 B
XML
24 lines
731 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project version="4">
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_6" assert-keyword="true" jdk-15="true" project-jdk-name="IDEA jdk" project-jdk-type="JavaSDK">
|
|
<output url="file://$PROJECT_DIR$/out" />
|
|
</component>
|
|
<component name="masterDetails">
|
|
<states>
|
|
<state key="ProjectJDKs.UI">
|
|
<settings>
|
|
<last-edited>IDEA jdk</last-edited>
|
|
<splitter-proportions>
|
|
<option name="proportions">
|
|
<list>
|
|
<option value="0.20000002" />
|
|
</list>
|
|
</option>
|
|
</splitter-proportions>
|
|
</settings>
|
|
</state>
|
|
</states>
|
|
</component>
|
|
</project>
|
|
|