Adding a Reload option (Ctrl+R) option to quickly reread the file and reset the state.
[debian/gnuradio] / gnuradio-pkg_chk.conf
2008-01-24 gdtNote that this file is somewhat useful as a dependency...
2007-01-31 gdtspiff up pkg_chk config file:
2007-01-30 gdtAdd a not-tested pkg_chk config file for installing...