From: Maximilian Friedersdorff <max@friedersdorff.com>
Date: Thu, 12 Dec 2019 18:29:30 +0000 (+0000)
Subject: Smaller font size on dubnium
X-Git-Url: https://git.friedersdorff.com/?a=commitdiff_plain;h=cb178d442e2352eb427bdffa15ee42c03b4030c8;hp=cb178d442e2352eb427bdffa15ee42c03b4030c8;p=max%2Fsaltfiles.git

Smaller font size on dubnium
---