mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 129571 | patch | commitdiff
Mark Craig
11.13.2014 f1581b710d93dea2b31feeda5d7583f25acd60c9
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
commitf1581b710d93dea2b31feeda5d7583f25acd60c9
tree 6154efc1ec3a02174013883ec23bc3f7a41ed42c tree | zip | gz
parent 129571c830672973ef94712643f4e42a191f9a38 view | diff 
CR-2986 Fix for OPENDJ-1336: Clean up version properties used for docs
1 files modified
28 ■■■■■ changed files
opendj3-server-dev/pom.xml 28 ●●●●● diff | view | raw | blame | history