diff options
author | Ulf Adams <ulfjack@google.com> | 2015-12-01 11:43:11 +0000 |
---|---|---|
committer | Kristina Chodorow <kchodorow@google.com> | 2015-12-01 18:23:40 +0000 |
commit | c725a5247ed96bd69d7ab7e8adbd2013d9413297 (patch) | |
tree | 5132ee8e3589e371e9e1477455ff4aa2d0036e53 /src/main/java/com/google/devtools/common/options/OptionsProvider.java | |
parent | d837af89bb374bd0921cfc963933f50c05203687 (diff) |
Remove unnecessary public modifiers.
--
MOS_MIGRATED_REVID=109067924
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/OptionsProvider.java')
-rw-r--r-- | src/main/java/com/google/devtools/common/options/OptionsProvider.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/java/com/google/devtools/common/options/OptionsProvider.java b/src/main/java/com/google/devtools/common/options/OptionsProvider.java index 3aa16990cb..015cc6c61f 100644 --- a/src/main/java/com/google/devtools/common/options/OptionsProvider.java +++ b/src/main/java/com/google/devtools/common/options/OptionsProvider.java @@ -57,11 +57,11 @@ public interface OptionsProvider extends OptionsClassProvider { * * <p>The list includes undocumented options. */ - public List<UnparsedOptionValueDescription> asListOfExplicitOptions(); + List<UnparsedOptionValueDescription> asListOfExplicitOptions(); /** * Returns a list of all options, including undocumented ones, and their * effective values. There is no guaranteed ordering for the result. */ - public List<OptionValueDescription> asListOfEffectiveOptions(); + List<OptionValueDescription> asListOfEffectiveOptions(); } |