diff options
Diffstat (limited to '.idea/misc.xml')
| -rw-r--r-- | .idea/misc.xml | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/.idea/misc.xml b/.idea/misc.xml index 5755a99..2e47c90 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -1,13 +1,22 @@ <?xml version="1.0" encoding="UTF-8"?> <project version="4"> - <component name="MavenProjectsManager"> - <option name="originalFiles"> - <list> - <option value="$PROJECT_DIR$/pom.xml" /> - </list> - </option> - </component> <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="true" project-jdk-name="1.8" project-jdk-type="JavaSDK"> <output url="file://$PROJECT_DIR$/out" /> </component> + <component name="masterDetails"> + <states> + <state key="ProjectJDKs.UI"> + <settings> + <last-edited>1.8</last-edited> + <splitter-proportions> + <option name="proportions"> + <list> + <option value="0.2" /> + </list> + </option> + </splitter-proportions> + </settings> + </state> + </states> + </component> </project>
\ No newline at end of file |