equal
deleted
inserted
replaced
2 <project version="4"> |
2 <project version="4"> |
3 <component name="EntryPointsManager"> |
3 <component name="EntryPointsManager"> |
4 <entry_points version="2.0" /> |
4 <entry_points version="2.0" /> |
5 </component> |
5 </component> |
6 <component name="JTRegService"> |
6 <component name="JTRegService"> |
7 <path>jtreg_home</path> <!-- this will be replaced --> |
7 <path>###JTREG_HOME###</path> |
8 <workDir>build</workDir> |
8 <workDir>###BUILD_DIR###</workDir> |
9 <jre alt="true" value="images_jdk" /> <!-- this will be replaced --> |
9 <jre alt="true" value="###IMAGES_DIR###" /> |
10 <options></options> |
10 <options></options> |
11 <ant> |
11 <ant> |
12 <target file="file://$PROJECT_DIR$/make/idea/build.xml" name="images" /> |
12 <target file="file://###ROOT_DIR###/make/idea/build.xml" name="images" /> |
13 </ant> |
13 </ant> |
14 </component> |
14 </component> |
15 <component name="ProjectRootManager" version="2" languageLevel="JDK_1_9" assert-keyword="true" jdk-15="true"> |
15 <component name="ProjectRootManager" version="2" languageLevel="JDK_1_9" assert-keyword="true" jdk-15="true"> |
16 <output url="file://$PROJECT_DIR$/build/out" /> |
16 <output url="file://###BUILD_DIR###" /> |
17 </component> |
17 </component> |
18 </project> |
18 </project> |