make/langtools/intellij/misc.xml
changeset 47216 71c04702a3d5
parent 41517 ae82072ecfa7
child 51266 f8696e0ab9b7
equal deleted inserted replaced
47215:4ebc2e2fb97c 47216:71c04702a3d5
       
     1 <?xml version="1.0" encoding="UTF-8"?>
       
     2 <project version="4">
       
     3   <component name="EntryPointsManager">
       
     4     <entry_points version="2.0" />
       
     5   </component>
       
     6   <component name="JTRegService">
       
     7     <path>@IDEA_JTREG_HOME@</path>
       
     8     <workDir>build</workDir>
       
     9     <jre alt="true" value="@IDEA_TARGET_JDK@" />
       
    10     <options>@XPATCH@</options>
       
    11     <ant>
       
    12       <target file="file://$PROJECT_DIR$/.idea/build.xml" name="build-all-classes" />
       
    13     </ant>
       
    14   </component>
       
    15   <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
       
    16     <output url="file://$PROJECT_DIR$/.idea/out" />
       
    17   </component>
       
    18 </project>
       
    19 
       
    20