diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-10-28 15:51:43 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-10-28 15:51:43 +0100 |
commit | a9c4bb1841fa79220799f35feb587aaa8b247f2d (patch) | |
tree | e60fb1cacd0ae572e8629431923f3f3e19d53194 /.idea | |
parent | 3a53d8825b47d71232d6d1a4e19164515be29020 (diff) | |
download | libeufin-a9c4bb1841fa79220799f35feb587aaa8b247f2d.tar.gz libeufin-a9c4bb1841fa79220799f35feb587aaa8b247f2d.tar.bz2 libeufin-a9c4bb1841fa79220799f35feb587aaa8b247f2d.zip |
implement XML signing, minor refactoring
Diffstat (limited to '.idea')
-rw-r--r-- | .idea/dictionaries/dold.xml | 7 | ||||
-rw-r--r-- | .idea/gradle.xml | 2 | ||||
-rw-r--r-- | .idea/misc.xml | 2 |
3 files changed, 9 insertions, 2 deletions
diff --git a/.idea/dictionaries/dold.xml b/.idea/dictionaries/dold.xml new file mode 100644 index 00000000..bef93377 --- /dev/null +++ b/.idea/dictionaries/dold.xml @@ -0,0 +1,7 @@ +<component name="ProjectDictionaryState"> + <dictionary name="dold"> + <words> + <w>ebics</w> + </words> + </dictionary> +</component>
\ No newline at end of file diff --git a/.idea/gradle.xml b/.idea/gradle.xml index 49f03426..b8ed8105 100644 --- a/.idea/gradle.xml +++ b/.idea/gradle.xml @@ -9,7 +9,7 @@ <option name="distributionType" value="DEFAULT_WRAPPED" /> <option name="externalProjectPath" value="$PROJECT_DIR$" /> <option name="gradleHome" value="/usr/share/java/gradle" /> - <option name="gradleJvm" value="11" /> + <option name="gradleJvm" value="#JAVA_INTERNAL" /> <option name="modules"> <set> <option value="$PROJECT_DIR$" /> diff --git a/.idea/misc.xml b/.idea/misc.xml index 25d34a47..c1d4bf54 100644 --- 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" languageLevel="JDK_11" project-jdk-name="11" project-jdk-type="JavaSDK" /> + <component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="false" project-jdk-name="12" project-jdk-type="JavaSDK" /> </project>
\ No newline at end of file |