Applied patch c1258.diff from Stephan Bruns (ticket:359)
[debian/gnuradio] / debian / libgnuradio-core.dirs
2008-11-03 jcorganMerged r9881:9917 from jcorgan/deb-wip into trunk....