libeufin

commit d997224aafcb7fb2fc2aa698a79356092d74ba3c
parent c27be27b55184ce88feb53a21bcb0e42a0072299
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date:   Tue,  1 Oct 2019 13:33:58 +0200

tolerate older Java versions

Diffstat:
M
.idea/gradle.xml
 | 
4
+++-
M
.idea/misc.xml
 | 
2
+-

2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/.idea/gradle.xml b/.idea/gradle.xml
@@ -4,10 +4,12 @@
   <component name="GradleSettings">
     <option name="linkedExternalProjectsSettings">
       <GradleProjectSettings>
+        <option name="delegatedBuild" value="true" />
+        <option name="testRunner" value="GRADLE" />
         <option name="distributionType" value="DEFAULT_WRAPPED" />
         <option name="externalProjectPath" value="$PROJECT_DIR$" />
         <option name="gradleHome" value="/usr/share/java/gradle" />
-        <option name="gradleJvm" value="12" />
+        <option name="gradleJvm" value="1.8" />
         <option name="modules">
           <set>
             <option value="$PROJECT_DIR$" />
diff --git a/.idea/misc.xml b/.idea/misc.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
   <component name="ExternalStorageConfigurationManager" enabled="true" />
-  <component name="ProjectRootManager" version="2" project-jdk-name="12" project-jdk-type="JavaSDK" />
+  <component name="ProjectRootManager" version="2" project-jdk-name="1.8" project-jdk-type="JavaSDK" />
 </project>
 \ No newline at end of file