gnuradio/gnuradio — pull request #138 by mbr0wn (2014-02-01 16:03:50+00:00)
Title: grc: For "No GUI" option, you can now choose which terminal type you lik...

...e