merging from developer branch to fix manual frequency setting problem, for real this...
[debian/gnuradio] / INSTALL
2007-11-12 ebdoc cleanup
2006-08-03 jcorganHouston, we have a trunk.