Wed, 17 Jul 2019 09:44:44 +0200 Edouard Tisserant merged svghmi
Wed, 17 Jul 2019 09:44:11 +0200 Edouard Tisserant Enable svghmi plugin in features, and small fixes to skeleton. svghmi