aboutsummaryrefslogtreecommitdiff
path: root/app/src/main/res/values-hdpi
diff options
context:
space:
mode:
authorHarsh Shandilya <me@msfjarvis.dev>2021-05-23 14:04:01 +0530
committerGitHub <noreply@github.com>2021-05-23 14:04:01 +0530
commit790b7c94d3277e273db1d71fcd15ceebbe2da722 (patch)
tree065b05c30c5ffd65e7fdfcadb3528d4fa20ce08a /app/src/main/res/values-hdpi
parentf2ad7e489f9330692bdc8f912638886061837d5c (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')
-rw-r--r--app/src/main/res/values-hdpi/dimens.xml1
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>