diff options
author | buchgr <buchgr@google.com> | 2018-07-23 06:03:32 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-07-23 06:05:33 -0700 |
commit | 909bd08d6a9ec10a65ec199fe061eb8621907952 (patch) | |
tree | 3b62045c603c2b8b655f8e40d6bb7692742a5145 /tools | |
parent | 3842bd39e10612c7eef36c6048407e81bcd0a8fb (diff) |
embedded jdk: cleanup file name for mac jdk
due to a bug in our JDK9 build on mac we had to temporarily
rename the file. This has been fixed now. Both links point
to the exact same file.
RELNOTES: None
PiperOrigin-RevId: 205649421
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions