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 /site | |
| parent | 88157011af4ddac21e404e9deea0d78668a71a99 (diff) | |
Add unused, optional source_properties attribute to android_sdk.
RELNOTES: None
PiperOrigin-RevId: 173258794
Diffstat (limited to 'site')
0 files changed, 0 insertions, 0 deletions