diff -r ffc8da83fdc2 -r 5c662d2e3f72 doc/svghmi/svghmi_library.svg --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc/svghmi/svghmi_library.svg Fri Apr 05 13:11:30 2024 +0200 @@ -0,0 +1,6911 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + IDE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +