mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: c14481 | patch | commitdiff
Mark Craig
28.49.2014 e9c5c283e611475d08ddb355726564d0cf4d6050
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, March 28, 2014 16:49 +0100
committer Mark Craig <mark.craig@forgerock.com>
Friday, March 28, 2014 16:49 +0100
commite9c5c283e611475d08ddb355726564d0cf4d6050
tree 4085d89a50f15229148592e4f774d9993c0f5e6a tree | zip | gz
parent c14481d601ea38113b3eeed1232857b0e8ad9664 view | diff 
Move to release version of 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