mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
vharseko
10.33.2018 084d672fa5979b865a17b830fe8f35841dc7b96c 
 pom.xml


@@ -236,7 +236,6 @@


        <module>opendj-dsml-servlet</module>


        <module>opendj-embedded-server-examples</module>


        <module>opendj-openidm-account-change-notification-handler</module>


        <module>opendj-doc-generated-ref</module>


        <module>opendj-packages</module>


    </modules>