mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1dd955 | patch | commitdiff
matthew_swift
30.07.2007 d211e727d826c909aa562bb195696cde4b33e902
refs
author matthew_swift <matthew_swift@localhost>
Thursday, August 30, 2007 16:07 +0200
committer matthew_swift <matthew_swift@localhost>
Thursday, August 30, 2007 16:07 +0200
commitd211e727d826c909aa562bb195696cde4b33e902
tree df84f38ad7c2b4a5f169ac5316c93c4d03d4d4bb tree | zip | gz
parent 1dd95561419eb85dbdf62df14d4a4d86b05584f2 view | diff 
Update the package-info stylesheet so that it generates a suitable PublicAPI annotation for generated packages:

@org.opends.server.types.PublicAPI(
     stability=org.opends.server.types.StabilityLevel.VOLATILE,
     mayInstantiate=false,
     mayExtend=false,
     mayInvoke=true)
1 files modified
7 ■■■■■ changed files
opends/resource/admin/package-info.xsl 7 ●●●●● diff | view | raw | blame | history