mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 82d76c | patch | commitdiff
Mark Craig
22.20.2015 2fd3cf7b48304f0bb144544444d3748c96c73a82
refs
author Mark Craig <mark.craig@forgerock.com>
Thursday, January 22, 2015 14:20 +0100
committer Mark Craig <mark.craig@forgerock.com>
Thursday, January 22, 2015 14:20 +0100
commit2fd3cf7b48304f0bb144544444d3748c96c73a82
tree f0ec187610e2df2cf5e17a948a22fa948d45ef7c tree | zip | gz
parent 82d76caa80d9ffd868eb42a4021a6dcdb7c5eb7a view | diff 
CR-5834 OPENDJ-1747 Test latest doc build plugin
2 files modified
82 ■■■■■ changed files
opendj-sdk/opendj3-server-dev/pom.xml 32 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj3-server-dev/src/site/xdoc/docs.xml 50 ●●●●● diff | view | raw | blame | history