editor changes

Julien LepillerSun May 31 20:15:13+0200 2020

5c704ee

editor changes

.idea/misc.xml

11
<?xml version="1.0" encoding="UTF-8"?>
22
<project version="4">
3-
  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" project-jdk-name="1.8" project-jdk-type="JavaSDK">
3+
  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" project-jdk-name="1.8" project-jdk-type="JavaSDK">
44
    <output url="file://$PROJECT_DIR$/build/classes" />
55
  </component>
66
  <component name="ProjectType">