diff -r 02229133df43 -r 51a3d6f39944 exemples/svghmi_jumps/svghmi_0@svghmi/confnode.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/exemples/svghmi_jumps/svghmi_0@svghmi/confnode.xml	Tue Sep 13 16:53:15 2022 +0200
@@ -0,0 +1,2 @@
+<?xml version='1.0' encoding='utf-8'?>
+<SVGHMI xmlns:xsd="http://www.w3.org/2001/XMLSchema"/>