| commit | 59e43a98f8a6621cf684a45cdfc1aa67cdc50f7b | [log] [tgz] |
|---|---|---|
| author | TreeHugger Robot <treehugger-gerrit@google.com> | Wed Oct 30 00:32:02 2019 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Wed Oct 30 00:32:02 2019 +0000 |
| tree | 891b1f5df585408ae3c609f6cbbd267a37d8b1a2 | |
| parent | 75641038d86604e59c3c1f77ad011c9e6c315875 [diff] | |
| parent | 2afc3b0a0052ce39a66fab3e4dfbd105a867804b [diff] |
Merge "Remove a dead option"