gnuradio/gnuradio-wg-grc — pull request #3 by sdh11 (2014-08-26 15:39:05+00:00)
Title: Grc menu fixes

A few changes to make menu items more consistent. Changed some capitalization and removed duplicate ALT-V shortcut keys.