android/michelson.studio/local.properties
Fri, 22 Nov 2019 09:40:16 +0100 hh -- draft default tip
less more (0) tip