diff options
Diffstat (limited to 'app/src/main/res/xml/preference.xml')
| -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 1d82df18..58a173c5 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -49,6 +49,9 @@ app:key="git_server_info" app:title="@string/pref_edit_server_info" /> <Preference + app:key="proxy_settings" + app:title="@string/pref_proxy_settings" /> + <Preference app:key="git_config" app:title="@string/pref_edit_git_config" /> <Preference |