editors/ResourceEditor.py
changeset 1287 70dc98533ec6
parent 1275 8d4de18c9f29
child 1420 71b1545d746f
equal deleted inserted replaced
1286:adda406d3960 1287:70dc98533ec6