| Fri, 08 May 2020 16:47:52 +0200 | Edouard Tisserant | SVGHMI: Add an exslt function to collect used widget types, in order to only include necessary JS definitions in furure changes. | changeset | files |
| Fri, 08 May 2020 16:44:20 +0200 | Edouard Tisserant | SVGHMI: Systematically output local name as /* comment */ when emiting content. | changeset | files |