make/idea/template/misc.xml
author mcimadamore
Tue, 31 Jul 2018 16:49:51 +0100
changeset 51266 f8696e0ab9b7
parent 47217 72e3ae9a25eb
child 51565 7e5f08c619e3
permissions -rw-r--r--
8208524: IntelliJ support broken since 2018.2 Summary: Move build.xml out of .idea folder Reviewed-by: stuefe

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="EntryPointsManager">
    <entry_points version="2.0" />
  </component>
  <component name="JTRegService">
    <path>jtreg_home</path> <!-- this will be replaced -->
    <workDir>build</workDir>
    <jre alt="true" value="images_jdk" /> <!-- this will be replaced -->
    <options></options>
    <ant>
      <target file="file://$PROJECT_DIR$/build/.idea-support/build.xml" name="images" />
    </ant>
  </component>
  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_9" assert-keyword="true" jdk-15="true">
    <output url="file://$PROJECT_DIR$/build/.idea-support/out" />
  </component>
</project>