mirror of
https://github.com/overleaf/overleaf.git
synced 2024-11-21 20:47:08 -05:00
42 lines
No EOL
1.4 KiB
XML
42 lines
No EOL
1.4 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project version="4">
|
|
<component name="EntryPointsManager">
|
|
<entry_points version="2.0" />
|
|
</component>
|
|
<component name="MavenProjectsManager">
|
|
<option name="originalFiles">
|
|
<list>
|
|
<option value="$PROJECT_DIR$/pom.xml" />
|
|
</list>
|
|
</option>
|
|
</component>
|
|
<component name="ProjectLevelVcsManager" settingsEditedManually="false">
|
|
<OptionsSetting value="true" id="Add" />
|
|
<OptionsSetting value="true" id="Remove" />
|
|
<OptionsSetting value="true" id="Checkout" />
|
|
<OptionsSetting value="true" id="Update" />
|
|
<OptionsSetting value="true" id="Status" />
|
|
<OptionsSetting value="true" id="Edit" />
|
|
<ConfirmationsSetting value="0" id="Add" />
|
|
<ConfirmationsSetting value="0" id="Remove" />
|
|
</component>
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="true" assert-keyword="true" jdk-15="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> |