mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 988b5e | patch | commitdiff
Mark Craig
08.31.2011 c0c3190f6994ebb07496a021e184f82af8a6356d
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, July 8, 2011 11:31 +0200
committer Mark Craig <mark.craig@forgerock.com>
Friday, July 8, 2011 11:31 +0200
commitc0c3190f6994ebb07496a021e184f82af8a6356d
tree af5a99447585dc624f4e17046ac4be27543b5e5d tree | zip | gz
parent 988b5eb2d8e2122810725cdd9d9c2dac7d773273 view | diff 
Fix OPENDJ-228: Push OpenDJ "plugin API" Javadoc to community site
2 files modified
4 ■■■■■ changed files
opendj-sdk/opendj3/src/site/site.xml 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj3/src/site/xdoc/docs.xml 2 ●●●●● diff | view | raw | blame | history