mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 4a789a | patch | commitdiff
Mark Craig
19.10.2013 d9ec4a75b5597ec09bdc91678680e3cc6e82300c
refs
author Mark Craig <mark.craig@forgerock.com>
Thursday, December 19, 2013 10:10 +0100
committer Mark Craig <mark.craig@forgerock.com>
Thursday, December 19, 2013 10:10 +0100
commitd9ec4a75b5597ec09bdc91678680e3cc6e82300c
tree 0593d54ab2d3220b48de449a52610decbcdf502d tree | zip | gz
parent 4a789af2cc9d96218d4225b9bb9bc99b3b4cd43b view | diff 
Additional fix for OPENDJ-1253: Test upgrade to latest doc build plugin
2 files modified
4 ■■■■■ changed files
opends/pom.xml 2 ●●●●● diff | view | raw | blame | history
pom.xml 2 ●●●●● diff | view | raw | blame | history