From f9102b21c00d1b4b971a80472eb62665515c9959 Mon Sep 17 00:00:00 2001
From: Christian Schneppe <christian@pix-art.de>
Date: Mon, 23 Apr 2018 21:01:58 +0200
Subject: remove unused resources

---
 src/main/res/values/dimens.xml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/main/res/values/dimens.xml')

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>
 
-- 
cgit v1.2.3