Merged r9881:9917 from jcorgan/deb-wip into trunk. Updates Debian/Ubuntu packaging...
[debian/gnuradio] / debian / libgnuradio-omnithread-dev.install
1 usr/include/gnuradio/omni_time.h
2 usr/include/gnuradio/omnithread.h
3 usr/include/gnuradio/ot_posix.h
4 usr/lib/pkgconfig/gnuradio-omnithread.pc
5 usr/lib/libgromnithread.so