mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2dd190 | patch | commitdiff
Mark Craig
08.29.2011 00c55fdf446b4c388720f4d92a6150855aecef5c
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, July 8, 2011 11:29 +0200
committer Mark Craig <mark.craig@forgerock.com>
Friday, July 8, 2011 11:29 +0200
commit00c55fdf446b4c388720f4d92a6150855aecef5c
tree ea6a3d3bf8bb17392ae4de44dd21543f68d1fa1a tree | zip | gz
parent 2dd190cc9d119efad9df0b4367012cb94b703e0e view | diff 
Fix OPENDJ-228: Push OpenDJ "plugin API" Javadoc to community site
2 files modified
22 ■■■■■ changed files
opends/pom.xml 18 ●●●●● diff | view | raw | blame | history
opends/src/site/site.xml 4 ●●●●● diff | view | raw | blame | history