diff options
author | Christian Schneppe <christian@pix-art.de> | 2018-04-23 21:01:58 +0200 |
---|---|---|
committer | Christian Schneppe <christian@pix-art.de> | 2018-04-23 21:01:58 +0200 |
commit | f9102b21c00d1b4b971a80472eb62665515c9959 (patch) | |
tree | cbc9c2c1c7bf57c8a05f841e8f95b0d4176a0fcd /src/main/res/values/dimens.xml | |
parent | b579436846cca0015120aaaf07378c57671707b2 (diff) |
remove unused resources
Diffstat (limited to 'src/main/res/values/dimens.xml')
-rw-r--r-- | src/main/res/values/dimens.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main/res/values/dimens.xml b/src/main/res/values/dimens.xml index dfc2056e4..eeb6b435c 100644 --- a/src/main/res/values/dimens.xml +++ b/src/main/res/values/dimens.xml @@ -7,7 +7,6 @@ <dimen name="list_padding">8dp</dimen> <dimen name="image_button_padding">12dp</dimen> <dimen name="key_action_width">48dp</dimen> <!-- icon width (24dp) + 2 * image button padding --> - <dimen name="fineprint_size">11sp</dimen> <dimen name="audio_player_width">224dp</dimen> <dimen name="avatar_item_distance">16dp</dimen> |