From: Philipp Spitzer Date: Wed, 30 May 2018 21:42:53 +0000 (+0200) Subject: Use user-friendly names for labels. X-Git-Url: https://git.toastfreeware.priv.at/chrisu/seepark.git/commitdiff_plain/9bb005fa9edd9c1734d19b56fc6e26bf87f28882?hp=9bb005fa9edd9c1734d19b56fc6e26bf87f28882 Use user-friendly names for labels. ---