mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5244cb | patch | commitdiff
matthew_swift
30.07.2007 83d253d9e89d7ab9ef821d17a0a4b2b2fbea4c2d
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
commit83d253d9e89d7ab9ef821d17a0a4b2b2fbea4c2d
tree f1099971807d4bbf79539dc1130f8287bd612685 tree | zip | gz
parent 5244cbf5c2cea70969f2884e64736f5bf1633f91 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
opendj-sdk/opends/resource/admin/package-info.xsl 7 ●●●●● diff | view | raw | blame | history