micha3lp 075cbb50f3 Set the menu shortcut key to the default one on a given platform.		2010-07-06 02:04:09 +00:00
..
apache/commons/jrcs	Initial revision	2003-07-14 12:22:29 +00:00
thdl	Set the menu shortcut key to the default one on a given platform.	2010-07-06 02:04:09 +00:00