equal
deleted
inserted
replaced
|
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 |