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