mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 368b78 | patch | commitdiff
Mark Craig
25.43.2014 01bded82f9e5a64ea05af20eb5f4d409893ac76d
refs
author Mark Craig <mark.craig@forgerock.com>
Wednesday, June 25, 2014 08:43 +0200
committer Mark Craig <mark.craig@forgerock.com>
Wednesday, June 25, 2014 08:43 +0200
commit01bded82f9e5a64ea05af20eb5f4d409893ac76d
tree 34e34918656203bb56005f1f3fcfd957e02ec3aa tree | zip | gz
parent 368b78bc3878e1d86c686a43193cf45161b0cd4a view | diff 
Update to the latest doc build tools release
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/pom.xml 2 ●●●●● diff | view | raw | blame | history