Wed, 17 Jul 2019 09:44:44 +0200merged svghmi
Edouard Tisserant [Wed, 17 Jul 2019 09:44:44 +0200] rev 2748
merged

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

Mon, 15 Jul 2019 09:05:00 +0200Merged default in svghmi svghmi
Edouard Tisserant [Mon, 15 Jul 2019 09:05:00 +0200] rev 2746
Merged default in svghmi

Fri, 12 Jul 2019 11:58:22 +0200Skeleton for svghmi extension svghmi
Edouard Tisserant [Fri, 12 Jul 2019 11:58:22 +0200] rev 2745
Skeleton for svghmi extension