mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: ca51b6 | patch | commitdiff
Mark Craig
05.26.2014 4ec7ebd84a083df3db1c019e341597cf389b62ce
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
commit4ec7ebd84a083df3db1c019e341597cf389b62ce
tree ddd6cb0a84825147ad620c64961aad3b366b04ea tree | zip | gz
parent ca51b66bbba7bc650978a3033765000b86fdf9bd 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
opendj3-server-dev/pom.xml 1 ●●●●● diff | view | raw | blame | history