diff -r c9ecf7d50888 -r 26a2808038fd exemples/svghmi_jumps/svghmi_0@svghmi/baseconfnode.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/exemples/svghmi_jumps/svghmi_0@svghmi/baseconfnode.xml Fri Sep 09 10:34:23 2022 +0200 @@ -0,0 +1,2 @@ + +