equal
deleted
inserted
replaced
1 <!-- importing.xml --> |
1 <!-- importing.xml --> |
2 <project name="langtools" basedir = "../../.."> |
2 <project name="langtools" basedir = "../../.."> |
3 |
3 |
4 <script language="javascript" classpath="${idea.dir}/classes"> |
4 <script language="javascript" classpath=".idea/classes"> |
5 var LangtoolsLogger = Java.type("idea.LangtoolsIdeaAntLogger"); |
5 var LangtoolsLogger = Java.type("idea.LangtoolsIdeaAntLogger"); |
6 new LangtoolsLogger(project) |
6 new LangtoolsLogger(project) |
7 </script> |
7 </script> |
8 |
8 |
9 <import file="../build.xml"/> |
9 <import file="../build.xml"/> |