mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 35f4c9 | patch | commitdiff
Mark Craig
11.08.2014 129571c830672973ef94712643f4e42a191f9a38
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, February 11, 2014 16:08 +0100
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, February 11, 2014 16:08 +0100
commit129571c830672973ef94712643f4e42a191f9a38
tree 2452615fa445b9b47b4e71cd310638777a091f5d tree | zip | gz
parent 35f4c9400e583aa53856c929a5fbcb52f66cd96b view | diff 
CR-2986 Fix for OPENDJ-1336: Clean up version properties used for docs
2 files modified
46 ■■■■■ changed files
opends/pom.xml 12 ●●●●● diff | view | raw | blame | history
pom.xml 34 ●●●●● diff | view | raw | blame | history