Merged r11074:11077 from jcorgan/deb in to trunk. Ubuntu packaging for 3.2 done...
[debian/gnuradio] / dtools /
drwxr-xr-x   ..
-rw-r--r-- 990 README
drwxr-xr-x - bin
drwxr-xr-x - microblaze
-rw-r--r-- 504 release-checklist