pom.xml
branchjdk7-b147
changeset 1981 189dcebe46c6
parent 26 03e4aaa4ef3d
child 92 bf4f95784c62
     1.1 --- a/pom.xml	Mon Sep 24 15:06:43 2012 +0200
     1.2 +++ b/pom.xml	Tue Jan 17 06:11:57 2017 +0100
     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>