diff options
| author |  ccalvarin <ccalvarin@google.com> | 2017-07-11 14:23:46 +0200 |
|---|---|---|
| committer |  László Csomor <laszlocsomor@google.com> | 2017-07-11 14:47:53 +0200 |
| commit | 456adb2267343a4e2e64f082e77169c18f9e6060 (patch) | |
| tree | b63794930df06ad9afc910ca16784cf4bab812f9 /src/BUILD | |
| parent | 75483b58d047c3a4e26e098823dc3b77644c3c11 (diff) | |
Fold OptionUsageRestrictions into OptionDocumentationCategory and OptionMetadataTags.
These are similar, no need to have both fields. Removing the "DOCUMENTED" default, the absence of UNDOCUMENTED will be used instead.
Since requiring a documentation category for undocumented options doesn't make sense, list that as one of the OptionDocumentationCategories, but list HIDDEN and INTERNAL as part of OptionMetadata. These options should list UNDOCUMENTED as their category.
PiperOrigin-RevId: 161515674
Diffstat (limited to 'src/BUILD')
0 files changed, 0 insertions, 0 deletions