diff options
| author |  Damien Martin-Guillerez <dmarting@google.com> | 2015-02-20 13:23:46 +0000 |
|---|---|---|
| committer |  Han-Wen Nienhuys <hanwen@google.com> | 2015-02-20 13:23:46 +0000 |
| commit | ed881e140fe18b38d958ef4fed771a08b79502b3 (patch) | |
| tree | 6d09647cb02c12cd29994b04b376c1a7e30514c1 /third_party/jsr305 | |
| parent | 0354933d0574c06ae13cb395b731347e7b79cfee (diff) | |
Bazel's .gitignore: replace tools/java/* by tools/jdk/*
--
MOS_MIGRATED_REVID=86780538
Diffstat (limited to 'third_party/jsr305')
0 files changed, 0 insertions, 0 deletions