changeset 37861 | 53d85619d7fe |
child 47217 | 72e3ae9a25eb |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/make/idea/template/misc.xml Tue May 10 13:34:30 2016 +0100 @@ -0,0 +1,9 @@ +<?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_9" assert-keyword="true" jdk-15="true"> + <output url="file://$PROJECT_DIR$/build/idea/out" /> + </component> +</project>