From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Wed, 9 Jan 2019 19:58:29 +0000 (+0100)
Subject: Tune a bit the Idea configuration for the project.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=0fc8383b05684d5d760a2ba82ab33479dbdd5103;p=Persons_Comparator.git

Tune a bit the Idea configuration for the project.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---

diff --git a/.idea/kotlinc.xml b/.idea/kotlinc.xml
index 8b7f4af..0dd4b35 100644
--- a/.idea/kotlinc.xml
+++ b/.idea/kotlinc.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
-  <component name="Kotlin2JsCompilerArguments">
-    <option name="sourceMapEmbedSources" />
+  <component name="Kotlin2JvmCompilerArguments">
+    <option name="jvmTarget" value="1.8" />
   </component>
 </project>
\ No newline at end of file
diff --git a/.idea/misc.xml b/.idea/misc.xml
index 1665c4d..2a76aac 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -3,6 +3,9 @@
   <component name="ProjectKey">
     <option name="state" value="project://63537948-39a4-48a0-9c97-34259a0fa913" />
   </component>
+  <component name="ProjectResources">
+    <xml-schema-version>XMLSchema_1_1</xml-schema-version>
+  </component>
   <component name="ProjectRootManager" version="2" languageLevel="JDK_10" default="true" project-jdk-name="10" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>