mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: cda973 | patch | commitdiff
Mark Craig
15.37.2014 53c073e5b90ba59028b84c03c49bd6ae01bed15e
refs
author Mark Craig <mark.craig@forgerock.com>
Wednesday, October 15, 2014 14:37 +0200
committer Mark Craig <mark.craig@forgerock.com>
Wednesday, October 15, 2014 14:37 +0200
commit53c073e5b90ba59028b84c03c49bd6ae01bed15e
tree d3ae386c6083ea600ad39874f9ecbff15f92bfb2 tree | zip | gz
parent cda973a9442a778ec9b167524b2dd042f5858c9c view | diff 
DOCS-221: Update doc build tools
1 files modified
2 ■■■■■ changed files
opendj-sdk/pom.xml 2 ●●●●● diff | view | raw | blame | history