Wed, 01 Apr 2020 18:10:45 +0200 Edouard Tisserant SVGHMI: moved dead code to where it belongs svghmi