Mon, 24 Dec 2018 16:20:20 +0300 Andrey Skvortsov fix zoom-in/zoom-out using mouse wheel
Mon, 11 Mar 2019 09:18:58 +0100 Edouard Tisserant better pylint complain workaround
Mon, 11 Mar 2019 01:03:32 +0100 Edouard Tisserant check_sources.sh makes me become even less productive