diff options
| author |  Ulf Adams <ulfjack@google.com> | 2015-09-23 14:42:04 +0000 |
|---|---|---|
| committer |  Philipp Wollermann <philwo@google.com> | 2015-09-24 14:16:13 +0000 |
| commit | 0e31295e9eae12814f0d9f2364a725d17c49a1c4 (patch) | |
| tree | e210802621cc4bd1c36970322aa32a74c3455b95 /src/main/java/options.BUILD | |
| parent | f396134227c6bb1f9b078038cacda0b153382ea9 (diff) | |
Simplify a method signature that isn't used elsewhere anymore.
--
MOS_MIGRATED_REVID=103744520
Diffstat (limited to 'src/main/java/options.BUILD')
0 files changed, 0 insertions, 0 deletions