changeset 4160:57c32ccb4f62

IDEA: Put back misc.xml (this is needed to get the language level right and also for Make to work out of the box)
author snorthov
date Tue, 02 Jul 2013 22:50:57 -0400
parents a4c88a9fd4c1
children a73c4b0d2bd7
files idea/.idea/misc.xml
diffstat 1 files changed, 10 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/idea/.idea/misc.xml	Tue Jul 02 22:50:57 2013 -0400
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="EntryPointsManager">
+    <entry_points version="2.0" />
+  </component>
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
+    <output url="file://$PROJECT_DIR$/out" />
+  </component>
+</project>
+