mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: a437ed | patch | commitdiff
Mark Craig
05.25.2014 90b30832dc5ab2c5e508dc498f47fe58d88b82d3
refs
author Mark Craig <mark.craig@forgerock.com>
Thursday, June 5, 2014 18:25 +0200
committer Mark Craig <mark.craig@forgerock.com>
Thursday, June 5, 2014 18:25 +0200
commit90b30832dc5ab2c5e508dc498f47fe58d88b82d3
tree bda6d543880ee71ce742fe3ad05b3d2aaf83583a tree | zip | gz
parent a437edf2e4d38c952cc6ef1d074319e37452aa1b 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
3 ■■■■■ changed files
opendj-sdk/pom.xml 3 ●●●●● diff | view | raw | blame | history