OpenGea/gea — pull request #115 by gdaolewe (2013-04-27 04:53:08+00:00)
Title: Disabled settings menu option

No user-selectable settings are planned for release, so menu option is removed. Fixes #86.