[Commit-gnuradio] [gnuradio] 04/05: Merge remote-tracking branch 'tom/pmt_docs'

[git]

This is an automated email from the git hooks/post-receive script.

jcorgan pushed a commit to branch master
in repository gnuradio.

commit c9f64643c895acebf6524e51b4047db7d777e313
Merge: ac03614 559a0fe
Author: Johnathan Corgan <address@hidden>
Date:   Mon Oct 13 13:09:01 2014 -0700

    Merge remote-tracking branch 'tom/pmt_docs'

 docs/doxygen/other/pmt.dox | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)