diff options
Diffstat (limited to 'app/src/main/res')
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index 1ddcde41..e8772616 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -8,6 +8,9 @@ android:key="ssh_key" android:title="@string/pref_ssh_title" /> <Preference + android:key="ssh_keygen" + android:title="@string/pref_ssh_keygen_title" /> + <Preference android:key="git_delete_repo" android:summary="Deletes local repository" android:title="@string/pref_git_delete_repo" /> |