mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-packages/opendj-deb/pom.xml @@ -54,7 +54,7 @@ <deb.resources.path /> </properties> <build> <build><finalName>${project.groupId}.${project.artifactId}</finalName> <pluginManagement> <plugins> <!-- Unpack man pages -->