src/Tools/jEdit/patches/menu_accelerator
changeset 82902 99a720d3ed8f
parent 82570 b47b65bd707f