make use of gr.version()
[debian/gnuradio] / grc / python / Platform.py
2009-07-11 jblummake use of gr.version()
2009-06-23 jblumMerging r11186:11273 from grc branch.