android/michelson.studio/michelson/src/main/res/values/dimens.xml
Fri, 22 Nov 2019 09:40:16 +0100 hh -- draft default tip
less more (0) tip