mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 4ec7eb | patch | commitdiff
Mark Craig
05.28.2014 1c983c4aa573702c541afe052654cc5147f69182
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
commit1c983c4aa573702c541afe052654cc5147f69182
tree ccf009ad7e0eba88f545bceeac0268659dad3ded tree | zip | gz
parent 4ec7ebd84a083df3db1c019e341597cf389b62ce 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
opends/pom.xml 3 ●●●●● diff | view | raw | blame | history