lavv17/le — pull request #6 by rgeissert (2014-06-08 15:07:46+00:00)
Title: Duplicate mainmenu shortcuts

There are menu entries with the same shortcut/"accessor" key, which can be confusing when gone unnoticed.
In addition to fixing the currently-problematic entries in the English menu, this adds a perl script that could be added to a "check" target of misc/Makefile.am to check for this kind of problems in the future.