src/Tools/jEdit/plugin/dockables.xml
changeset 34320 883dc8fc3328
parent 34318 c13e168a8ae6
child 34342 b2781f2cd80a
equal deleted inserted replaced
34319:eaac45c45348 34320:883dc8fc3328