Files
julien Lengrand-Lambert a5e9283349 Updating idea projects
2017-03-25 08:51:10 +01:00

25 lines
756 B
XML

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="EclipseCodeFormatter">
<option name="defaultSettings" value="true" />
<option name="id" value="1487842494420" />
<option name="name" value="default" />
</component>
<component name="ProjectRootManager" version="2" default="true" />
<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>