diff options
author | kchodorow <kchodorow@google.com> | 2017-05-25 22:01:43 +0200 |
---|---|---|
committer | Irina Iancu <elenairina@google.com> | 2017-05-26 09:37:46 +0200 |
commit | 3a035d0d76cb46f9ac5fe314b42cfda123ddd9b9 (patch) | |
tree | d228d686eeeda92df039adf60942e22194e35e2c /tools/genrule | |
parent | d946f1361e6eb1c863507c8ac30165e61ed99a83 (diff) |
Remove workspace tree under correct name
Actual fix for #2819.
PiperOrigin-RevId: 157142420
Diffstat (limited to 'tools/genrule')
0 files changed, 0 insertions, 0 deletions