mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
vharseko
28.04.2018 d7014850b28ab9c9fdaa6caf16eb7958bb706b06 
 opendj-server/pom.xml


@@ -19,7 +19,7 @@


  <parent>


    <groupId>org.forgerock.opendj</groupId>


    <artifactId>opendj-parent</artifactId>


    <version>4.1.3-SNAPSHOT</version>


    <version>4.1.4-SNAPSHOT</version>


  </parent>


  <artifactId>opendj-server</artifactId>


  <name>OpenDJ Server NG</name>