diff options
author | Fabian Henneke <FabianHenneke@users.noreply.github.com> | 2020-08-11 18:11:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-11 18:11:39 +0200 |
commit | 15aa92980239d6d61c3b0febc0407b7f63e152b3 (patch) | |
tree | 92b25ea3bca41e37fe4727bab82665b04ee8206e /app/src/main/res/values-ar | |
parent | 8f957ca99454efe1711e2424620d2632bed6cb63 (diff) |
Switch to URL-based Git config and refactor Git settings (#1008)
* Make Git config URL-based and refactor
* Use Kotlin style null handling for string prefs
* Also show an error if generated URL can't be parsed
* Add some testcases for migration strategy
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Co-authored-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to 'app/src/main/res/values-ar')
-rw-r--r-- | app/src/main/res/values-ar/strings.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/app/src/main/res/values-ar/strings.xml b/app/src/main/res/values-ar/strings.xml index 643c1641..695a7499 100644 --- a/app/src/main/res/values-ar/strings.xml +++ b/app/src/main/res/values-ar/strings.xml @@ -29,10 +29,6 @@ <string name="initialize">إستخدام مجلد محلي</string> <string name="server_name">الخادوم</string> <string name="server_protocol">البروتوكول</string> - <string name="server_url">عنوان الخادوم</string> - <string name="server_port_hint">22</string> - <string name="server_path">مسار المستودع</string> - <string name="server_user">إسم المستخدم</string> <string name="connection_mode">نوع المصادقة</string> |