editors/FileManagementPanel.py
changeset 973 211e78636b6b
parent 951 7f9a9c47a317
child 1571 486f94a8032c
equal deleted inserted replaced
970:0dd89c8eeef5 973:211e78636b6b