mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 19f407 | patch | commitdiff
Mark Craig
05.25.2014 ca51b66bbba7bc650978a3033765000b86fdf9bd
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
commitca51b66bbba7bc650978a3033765000b86fdf9bd
tree 79e91188586d82943830a2fd87db272358bbf6e2 tree | zip | gz
parent 19f4078a1c392ef3a8423139745c474ee8facd59 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
pom.xml 3 ●●●●● diff | view | raw | blame | history