mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 00c55f | patch | commitdiff
Mark Craig
08.31.2011 fa8036f08cfe56e50968a6a6913aeb8beafc7256
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
commitfa8036f08cfe56e50968a6a6913aeb8beafc7256
tree 68efed9aba16e4590792bb58eff6cf7f2db74a06 tree | zip | gz
parent 00c55fdf446b4c388720f4d92a6150855aecef5c view | diff 
Fix OPENDJ-228: Push OpenDJ "plugin API" Javadoc to community site
2 files modified
4 ■■■■■ changed files
opendj3/src/site/site.xml 2 ●●●●● diff | view | raw | blame | history
opendj3/src/site/xdoc/docs.xml 2 ●●●●● diff | view | raw | blame | history