src/Tools/jEdit/patches/menu_accelerator
changeset 82909 e4fae2227594
parent 82570 b47b65bd707f
equal deleted inserted replaced
82908:f7778350d1ac 82909:e4fae2227594