diff options
author | Googler <noreply@google.com> | 2017-10-18 03:05:44 +0200 |
---|---|---|
committer | Jakob Buchgraber <buchgr@google.com> | 2017-10-18 10:28:27 +0200 |
commit | 41273d4e2e4e6bffb832110b3f29aef5dfd781f6 (patch) | |
tree | 32fd81a1b6e388d4f438cc2d3288816a39e89947 /site/_plugins | |
parent | 841880dc66bfd0702a08105835a445cb3dc271c9 (diff) |
Wire in testOnly bit down to ErrorProneOptions, so it can be used from Checkers.
RELNOTES: None
PiperOrigin-RevId: 172545302
Diffstat (limited to 'site/_plugins')
0 files changed, 0 insertions, 0 deletions