pom.xml
branchjdk7-b147
changeset 1314 e3db9cca817b
parent 26 03e4aaa4ef3d
child 92 bf4f95784c62
     1.1 --- a/pom.xml	Mon Sep 24 15:06:43 2012 +0200
     1.2 +++ b/pom.xml	Sat Sep 28 02:02:00 2013 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4    <modules>
     1.5        <module>vm</module>
     1.6      <module>htmlpage</module>
     1.7 +    <module>emul</module>
     1.8    </modules>
     1.9    <licenses>
    1.10        <license>