From: Maximilian Friedersdorff Date: Mon, 4 Mar 2019 19:07:25 +0000 (+0000) Subject: Set fontsize on platinum X-Git-Url: https://git.friedersdorff.com/?a=commitdiff_plain;h=f21898cab6520b4ed9d28da1eeb6956c2b2afd46;hp=f21898cab6520b4ed9d28da1eeb6956c2b2afd46;p=max%2Fdotfiles.git Set fontsize on platinum ---