mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 90b308 | patch | commitdiff
Mark Craig
05.26.2014 521931b82de91327a2c79a598a7e370a9ab7e380
refs
author Mark Craig <mark.craig@forgerock.com>
Thursday, June 5, 2014 18:26 +0200
committer Mark Craig <mark.craig@forgerock.com>
Thursday, June 5, 2014 18:26 +0200
commit521931b82de91327a2c79a598a7e370a9ab7e380
tree 90256e0d64adde269a3b8efa2cb2e934fde30bd7 tree | zip | gz
parent 90b30832dc5ab2c5e508dc498f47fe58d88b82d3 view | diff 
Partial fix for OPENDJ-1489: Update OpenDJ Docs for New Branding

This is only to use the newly-released tools.
1 files modified
1 ■■■■■ changed files
opendj-sdk/opendj3-server-dev/pom.xml 1 ●●●●● diff | view | raw | blame | history