diff options
| author | John Reck <jreck@google.com> | 2019-10-28 15:51:25 -0700 |
|---|---|---|
| committer | John Reck <jreck@google.com> | 2019-10-28 15:51:25 -0700 |
| commit | 2afc3b0a0052ce39a66fab3e4dfbd105a867804b (patch) | |
| tree | 6af080831624c6bc362fef447bd43bb34ad20cf6 /docs/html/sdk/api_diff/18 | |
| parent | c708cfe54b429f4412ec1b6353bbe057aba8afb2 (diff) | |
Remove a dead option
Test: builds & text still works
Change-Id: Ia9c678f258834d7cc5e65027db8be4c37fb6b4db
Diffstat (limited to 'docs/html/sdk/api_diff/18')
0 files changed, 0 insertions, 0 deletions