Merged r6224:6268 from features/deb into trunk. Implements most of a Debian package...
[debian/gnuradio] / debian / libpmt0-dev.install
1 usr/include/pmt.h
2 usr/include/pmt_pool.h
3 usr/include/pmt_serial_tags.h