Author: jcorgan
Date: 2007-05-02 19:10:42 -0600 (Wed, 02 May 2007)
New Revision: 5232

Removed:
   gnuradio/branches/developers/jcorgan/disc/
Log:
Remove merged developer branch.



_______________________________________________
Commit-gnuradio mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/commit-gnuradio

Reply via email to