aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/main/java/com/google/devtools/common/options/OptionsProvider.java
diff options
context:
space:
mode:
authorGravatar Ulf Adams <ulfjack@google.com>2015-12-01 11:43:11 +0000
committerGravatar Kristina Chodorow <kchodorow@google.com>2015-12-01 18:23:40 +0000
commitc725a5247ed96bd69d7ab7e8adbd2013d9413297 (patch)
tree5132ee8e3589e371e9e1477455ff4aa2d0036e53 /src/main/java/com/google/devtools/common/options/OptionsProvider.java
parentd837af89bb374bd0921cfc963933f50c05203687 (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.java4
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();
}