images/export_graph_mini.png
| author |
Edouard Tisserant |
|
Fri, 24 Jun 2022 09:21:24 +0200 |
| changeset 3522 |
f3a14422d56e |
| parent 939 |
7c5bb4459993
|
| permissions |
-rw-r--r-- |
SVGHMI: add warning_labels, same as optional_labels but emits warnings at build time if element is missing.
