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