diff options
author | ajmichael <ajmichael@google.com> | 2017-10-24 17:11:26 +0200 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2017-10-25 16:45:18 +0200 |
commit | 69f5849daaa18b79d37fb9b57e32686688b36dd4 (patch) | |
tree | ed456638b9e726fa6e1de3b090acd844be3dcf77 /AUTHORS | |
parent | 88157011af4ddac21e404e9deea0d78668a71a99 (diff) |
Add unused, optional source_properties attribute to android_sdk.
RELNOTES: None
PiperOrigin-RevId: 173258794
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions