author | mcimadamore |
Tue, 31 Jul 2018 16:49:51 +0100 | |
changeset 51266 | f8696e0ab9b7 |
parent 47217 | 72e3ae9a25eb |
child 51565 | 7e5f08c619e3 |
permissions | -rw-r--r-- |
37861 | 1 |
<?xml version="1.0" encoding="UTF-8"?> |
2 |
<project version="4"> |
|
3 |
<component name="EntryPointsManager"> |
|
4 |
<entry_points version="2.0" /> |
|
5 |
</component> |
|
47217 | 6 |
<component name="JTRegService"> |
7 |
<path>jtreg_home</path> <!-- this will be replaced --> |
|
8 |
<workDir>build</workDir> |
|
9 |
<jre alt="true" value="images_jdk" /> <!-- this will be replaced --> |
|
10 |
<options></options> |
|
11 |
<ant> |
|
51266
f8696e0ab9b7
8208524: IntelliJ support broken since 2018.2
mcimadamore
parents:
47217
diff
changeset
|
12 |
<target file="file://$PROJECT_DIR$/build/.idea-support/build.xml" name="images" /> |
47217 | 13 |
</ant> |
14 |
</component> |
|
37861 | 15 |
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_9" assert-keyword="true" jdk-15="true"> |
51266
f8696e0ab9b7
8208524: IntelliJ support broken since 2018.2
mcimadamore
parents:
47217
diff
changeset
|
16 |
<output url="file://$PROJECT_DIR$/build/.idea-support/out" /> |
37861 | 17 |
</component> |
18 |
</project> |