plugins/python/modules/wxglade_hmi/wxglade_hmi.py
changeset 420 c093ec48f2fd
parent 384 50f2069a06b3
child 427 7ac746c07ff2