diff options
| author | Harsh Shandilya <me@msfjarvis.dev> | 2021-05-23 14:04:01 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-23 14:04:01 +0530 |
| commit | 790b7c94d3277e273db1d71fcd15ceebbe2da722 (patch) | |
| tree | 065b05c30c5ffd65e7fdfcadb3528d4fa20ce08a /app/src/main/res/values-hdpi/dimens.xml | |
| parent | f2ad7e489f9330692bdc8f912638886061837d5c (diff) | |
Tweak git server config screen UI and remove unused resources (#1419)
* themes: tweak Chip text appearance
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
* app: tweak git server settings UI
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
* app: remove unused resources
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to 'app/src/main/res/values-hdpi/dimens.xml')
| -rw-r--r-- | app/src/main/res/values-hdpi/dimens.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/app/src/main/res/values-hdpi/dimens.xml b/app/src/main/res/values-hdpi/dimens.xml index 53e0e05f..efe72480 100644 --- a/app/src/main/res/values-hdpi/dimens.xml +++ b/app/src/main/res/values-hdpi/dimens.xml @@ -4,7 +4,6 @@ --> <resources> - <dimen name="toggle_group_text_size">12sp</dimen> <dimen name="onboarding_icon_margin_top">50dp</dimen> <dimen name="onboarding_button_margin_top">70dp</dimen> <dimen name="onboarding_desc_margin_top">48dp</dimen> |