mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 521931 | patch | commitdiff
Mark Craig
05.28.2014 b3d25b1965c80eeb8615879dae24ead91fe97d6b
refs
author Mark Craig <mark.craig@forgerock.com>
Thursday, June 5, 2014 18:28 +0200
committer Mark Craig <mark.craig@forgerock.com>
Thursday, June 5, 2014 18:28 +0200
commitb3d25b1965c80eeb8615879dae24ead91fe97d6b
tree a07ba9271db8ce40268febd67081ce8e6fd16964 tree | zip | gz
parent 521931b82de91327a2c79a598a7e370a9ab7e380 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/opends/pom.xml 3 ●●●●● diff | view | raw | blame | history