src/Tools/jEdit/plugin/dockables.xml
changeset 34320 883dc8fc3328
parent 34318 c13e168a8ae6
child 34342 b2781f2cd80a