Wed, 17 Jul 2019 09:44:11 +0200 Edouard Tisserant Enable svghmi plugin in features, and small fixes to skeleton. svghmi
Mon, 15 Jul 2019 09:05:00 +0200 Edouard Tisserant Merged default in svghmi svghmi
Fri, 12 Jul 2019 11:58:22 +0200 Edouard Tisserant Skeleton for svghmi extension svghmi