editors/ResourceEditor.py
changeset 1058 bb8ac451c28a
parent 1026 96a2dc05651a
child 1275 8d4de18c9f29
equal deleted inserted replaced
1057:3837e165b3f9 1058:bb8ac451c28a