mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 185c70 | patch | commitdiff
Mark Craig
11.13.2014 d3765fa5788888fb3d2fbe9aad4cc7faa1fb2897
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, February 11, 2014 16:13 +0100
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, February 11, 2014 16:13 +0100
commitd3765fa5788888fb3d2fbe9aad4cc7faa1fb2897
tree 249d4bd0d5dbaffd077ae626262d1ac1853dfe21 tree | zip | gz
parent 185c702261bb72f697775def87e4e81975fd94ef view | diff 
CR-2986 Fix for OPENDJ-1336: Clean up version properties used for docs
1 files modified
28 ■■■■■ changed files
opendj-sdk/opendj3-server-dev/pom.xml 28 ●●●●● diff | view | raw | blame | history