diff options
author | 2018-07-23 06:03:32 -0700 | |
---|---|---|
committer | 2018-07-23 06:05:33 -0700 | |
commit | 909bd08d6a9ec10a65ec199fe061eb8621907952 (patch) | |
tree | 3b62045c603c2b8b655f8e40d6bb7692742a5145 /src/main/java/com/google/devtools/build/lib/standalone | |
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 'src/main/java/com/google/devtools/build/lib/standalone')
0 files changed, 0 insertions, 0 deletions