[Commit-gnuradio] git://gnuradio.org/jblum branch, grc/tooltip, deleted. 96a20bb09dc6b07b3d2651645e579dff6c3f3a45

[git repository hosting]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "git://gnuradio.org/jblum".

The branch, grc/tooltip has been deleted
       was  96a20bb09dc6b07b3d2651645e579dff6c3f3a45

-----------------------------------------------------------------------
96a20bb09dc6b07b3d2651645e579dff6c3f3a45 work on the string representations for 
parameters (large vectors could be too much to render, ie use truncation)
-----------------------------------------------------------------------


hooks/post-receive
-- 
git://gnuradio.org/jblum