1.15

2020-01-13 12:58:19 +02:00
parent 5de16a75e3
commit 6151a9ec09
16 changed files with 234 additions and 178 deletions
--- a/kopija/$PRODUCT_WORKSPACE_FILE$
+++ b/kopija/$PRODUCT_WORKSPACE_FILE$
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <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>