Juergen Spitzmueller 4d81f210c1 Support key symbols via menukeys package
(cherry picked from commit fd7490762d6248bb4ca7120fe97b28d96496d9d3)
2018-09-10 09:46:25 +02:00
..
2018-04-22 23:58:21 -04:00
2018-09-09 10:28:25 +02:00
2011-04-02 11:00:19 +00:00
2011-02-21 19:56:43 +00:00
2018-08-19 16:35:20 +02:00
2018-08-20 09:34:53 +02:00
2018-08-20 09:34:53 +02:00
2018-07-25 19:44:26 +02:00
2018-08-28 15:22:50 -04:00