From: Paul Hänsch Date: Tue, 23 Jul 2019 19:39:48 +0000 (+0200) Subject: added DPI scaling, removed superfluous overlays X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;ds=inline;h=1333f6799890058d68551833f05f52ab3eb39489;hp=1333f6799890058d68551833f05f52ab3eb39489;p=blast added DPI scaling, removed superfluous overlays ---