Wed, 13 May 2020 18:27:26 +0200 Edouard Tisserant SVGHMI: removed dead code svghmi