diff options
| author | David Schweinsberg <[email protected]> | 2019-09-07 14:52:37 -0700 |
|---|---|---|
| committer | David Schweinsberg <[email protected]> | 2019-09-07 14:52:37 -0700 |
| commit | f0d3deb0ebf7d281aa157fb0b803eaafd39d03dc (patch) | |
| tree | 927d18d324feb70ac45dd71612ff9876a59f8c1a /.idea | |
| parent | fc3383d430ffcb313c155d31a1116fa846ff28d4 (diff) | |
Split off sample application
Diffstat (limited to '.idea')
| -rw-r--r-- | .idea/misc.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.idea/misc.xml b/.idea/misc.xml index 1763e15..5a1f3f4 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -1,6 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <project version="4"> - <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"> <output url="file://$PROJECT_DIR$/out" /> </component> </project>
\ No newline at end of file |