mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 6b7347 | patch | commitdiff
jenkins
10.53.2015 50a7231bfd8c782edc4ceedabc156f9badbe4c4b
refs
author jenkins <jenkins@forgerock.com>
Thursday, December 10, 2015 21:53 +0100
committer jenkins <jenkins@forgerock.com>
Thursday, December 10, 2015 21:53 +0100
commit50a7231bfd8c782edc4ceedabc156f9badbe4c4b
tree ea98d4565be4c621896c7a0aad6e1ec1e209c3e3 tree | zip | gz
parent 6b7347c87930df1ac7907124a7349bea19463e58 view | diff 
[maven-release-plugin] prepare for next development iteration
1 files modified
4 ■■■■■ changed files
opendj-man-pages/pom.xml 4 ●●●●● diff | view | raw | blame | history