From: Paul Hänsch Date: Sat, 21 Jul 2018 01:26:03 +0000 (+0200) Subject: quicker animations X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;ds=sidebyside;h=fa15e2524dcc84ab03b49637a822e5c152d81d85;hp=fa15e2524dcc84ab03b49637a822e5c152d81d85;p=serve0 quicker animations ---