mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7bc333 | patch | commitdiff
Mark Craig
15.37.2014 7157e4f1aceaf036f1a7d8fc10251a4460d91bb9
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
commit7157e4f1aceaf036f1a7d8fc10251a4460d91bb9
tree ab7d16d2fb6770aa48437583c1e3defb8e86dc25 tree | zip | gz
parent 7bc3339b85cc77983bfbab733fc5069c6adac0e6 view | diff 
DOCS-221: Update doc build tools
1 files modified
2 ■■■■■ changed files
pom.xml 2 ●●●●● diff | view | raw | blame | history