diff options
| author | Jason A. Donenfeld <Jason@zx2c4.com> | 2017-12-19 02:42:00 +0100 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2017-12-19 02:42:00 +0100 |
| commit | 9b92f4d3c5ed263533844d95031d497e3ba7a0ca (patch) | |
| tree | 1869827cbad898087c5458a3d7fd9ef4bcce34c7 /app/src/main/res/xml/preferences.xml | |
| parent | ecc2a1c7591d1749c95d9fe687ec00753ea0eae2 (diff) | |
SettingsActivity: allow for installing command line tools
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
Diffstat (limited to 'app/src/main/res/xml/preferences.xml')
| -rw-r--r-- | app/src/main/res/xml/preferences.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/app/src/main/res/xml/preferences.xml b/app/src/main/res/xml/preferences.xml index 95683a16..012e08fa 100644 --- a/app/src/main/res/xml/preferences.xml +++ b/app/src/main/res/xml/preferences.xml @@ -9,4 +9,8 @@ android:key="restore_on_boot" android:summary="@string/restore_on_boot_summary" android:title="@string/restore_on_boot" /> + <Preference + android:key="install_cmd_line_tools" + android:summary="@string/install_cmd_line_tools_summary" + android:title="@string/install_cmd_line_tools" /> </PreferenceScreen> |