diff options
| author |  ccalvarin <ccalvarin@google.com> | 2017-04-17 20:38:52 +0200 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2017-04-18 11:33:31 +0200 |
| commit | 391d5d9d06f18d49baab037ebc10e4ec5efdb233 (patch) | |
| tree | 85c6b798f8759a412e0ff2a43697e248aa728db7 /src/main/java/com/google/devtools/build/lib/rules/objc/XcodeSupport.java | |
| parent | b9a2e9ded67bdf6fff0a611d174096269f68a981 (diff) | |
Remove the overloading of option category to cover documentation level.
This prevents having to parse the category, and allows the category to potentially be used in the future for information about all options, included undocumented, hidden, or internal options.
Also rename DocumentationLevel to OptionUsageRestrictions, since INTERNAL was not really documentation related.
PiperOrigin-RevId: 153367769
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/objc/XcodeSupport.java')
0 files changed, 0 insertions, 0 deletions