mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2858af | patch | commitdiff
Mark Craig
19.10.2013 595028f2c633e0f59350fc1a7358c88eff459e92
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
commit595028f2c633e0f59350fc1a7358c88eff459e92
tree f110f644b3c6d8944afad98cb1fe230782f9ba1a tree | zip | gz
parent 2858afa718f634eab2c3c845f2f0c7dde9f45e6f view | diff 
Additional fix for OPENDJ-1253: Test upgrade to latest doc build plugin
2 files modified
4 ■■■■■ changed files
opendj-sdk/opends/pom.xml 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/pom.xml 2 ●●●●● diff | view | raw | blame | history