diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2016-10-13 12:17:20 +0200 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2016-10-13 12:17:20 +0200 |
commit | 2a73b8d76e0879b7d4e86fc863f95ec1325fd9c4 (patch) | |
tree | fe515040797524a268b73adcf2c8402637937507 /src/main/res/values/dimens.xml | |
parent | f6cfa277414caf999a7180f921f7d040f6b0c3ff (diff) |
clarified fineprint a little bit
Diffstat (limited to '')
-rw-r--r-- | src/main/res/values/dimens.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/res/values/dimens.xml b/src/main/res/values/dimens.xml index 95e80055..4ce44f22 100644 --- a/src/main/res/values/dimens.xml +++ b/src/main/res/values/dimens.xml @@ -5,4 +5,5 @@ <dimen name="infocard_padding">16dp</dimen> <dimen name="conversations_overview_width">288dp</dimen> <dimen name="image_button_padding">8dp</dimen> + <dimen name="fineprint_size">11sp</dimen> </resources> |