diff options
| author |  ccalvarin <ccalvarin@google.com> | 2017-04-19 01:15:45 +0200 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2017-04-19 10:49:05 +0200 |
| commit | 5d1042629e94e278dcc49db5f640829acc3bff1a (patch) | |
| tree | 9ad5bf5968ddfe9d6f1dc21a27aba170e84faf11 /src/main/java/com/google/devtools/build/lib/rules/objc | |
| parent | 5d761ecc6d337bceda68df38781589e2c11967b4 (diff) | |
Deprecate use of option category to describe documentation level / usage restrictions.
Prevent the old category strings "undocumented," "hidden," or "internal" from being used as categories, to prevent developers from relying on deprecated behavior.
PiperOrigin-RevId: 153525499
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/objc')
0 files changed, 0 insertions, 0 deletions