| commit | b5774a8e2e66eed1a1dc5a83108ceabe1411cb2d | [log] [tgz] |
|---|---|---|
| author | Edgar Wang <edgarwang@google.com> | Tue Apr 11 13:23:46 2023 +0800 |
| committer | Edgar Wang <edgarwang@google.com> | Tue Apr 11 13:44:02 2023 +0800 |
| tree | e602a93e3de1e9320cad7d0e18dabdbe342b6ac6 | |
| parent | 11648c709e832e64ddab5936669fe410ecdd9d9f [diff] |
Disable developer options when development_settings_enabled is disabled Bug: 270966670 Test: manual Change-Id: If4296c564ee64804b35a3357f40f8d1d49cd284a