diff options
author | janakr <janakr@google.com> | 2017-08-17 17:31:33 +0200 |
---|---|---|
committer | Colin Cross <ccross@android.com> | 2017-08-18 09:16:57 -0700 |
commit | 15a7103a6e3343a4d8c31c413982f214700d2780 (patch) | |
tree | 5bf8bb83263d13907b12fda926cde881ee22fa05 | |
parent | 16b3b0bfc8a220d047a23a128376c2c305cd8d13 (diff) | |
download | desugar-15a7103a6e3343a4d8c31c413982f214700d2780.tar.gz |
Categorize query options.
PiperOrigin-RevId: 165581746
GitOrigin-RevId: 7321812d556f659b65952d5205250230e19d76cb
Change-Id: I1a59ba2271419de3c46ae01ab7220e9579a9086b
-rw-r--r-- | java/com/google/devtools/common/options/OptionDocumentationCategory.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/java/com/google/devtools/common/options/OptionDocumentationCategory.java b/java/com/google/devtools/common/options/OptionDocumentationCategory.java index 2354abf..e288b13 100644 --- a/java/com/google/devtools/common/options/OptionDocumentationCategory.java +++ b/java/com/google/devtools/common/options/OptionDocumentationCategory.java @@ -90,4 +90,7 @@ public enum OptionDocumentationCategory { * based on execution-environment requirements. */ TOOLCHAIN, + + /** This option relates to query output and semantics. */ + QUERY, } |