diff options
| author |  Philipp Wollermann <philwo@google.com> | 2018-07-25 07:36:44 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-07-25 07:38:08 -0700 |
| commit | 77234d691a1d8a66ee812cec30e7a378558d0cdf (patch) | |
| tree | 5846e397129da9b1f2a4b33913310eb88fd65db3 /third_party | |
| parent | 12bb59f537d4adab7e5766d152fab4b1e8a62c83 (diff) | |
Remove obsolete stuff related to JDK7 support
Closes #5626.
PiperOrigin-RevId: 205991094
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions