exemples/svghmi_json_table/svghmi_0@svghmi/svghmi.svg
changeset 4012 6337c9c2c379
parent 3924 abaa68df90f4