mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: aa1cb4 | patch | commitdiff
Mark Craig
22.02.2015 dd2e5ec4ab887f6e9dc3304a839b57d20a5373f2
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, May 22, 2015 19:02 +0200
committer Mark Craig <mark.craig@forgerock.com>
Friday, May 22, 2015 19:02 +0200
commitdd2e5ec4ab887f6e9dc3304a839b57d20a5373f2
tree 983927e94da59e241b2078fe4fb5fc275d4c1817 tree | zip | gz
parent aa1cb4dcb8516f159c46b219d71875e90f67a73f view | diff 
Use latest stable doc build plugin
1 files modified
2 ■■■■■ changed files
pom.xml 2 ●●●●● diff | view | raw | blame | history