pom.xml
branchide
changeset 716 8d7f8719d29c
parent 569 081f019bc04e
child 725 732b3e4cc544
     1.1 --- a/pom.xml	Thu Jan 24 00:10:23 2013 +0100
     1.2 +++ b/pom.xml	Wed Feb 13 11:12:55 2013 +0100
     1.3 @@ -17,6 +17,7 @@
     1.4      <module>benchmarks</module>
     1.5      <module>launcher</module>
     1.6      <module>vmtest</module>
     1.7 +    <module>ide</module>
     1.8    </modules>
     1.9    <licenses>
    1.10        <license>