editors/ResourceEditor.py
changeset 1629 80eee3c5a057
parent 1611 5e64d552b25a
child 1657 3a98027ff372
equal deleted inserted replaced
1628:6309efe91289 1629:80eee3c5a057