|
| From: | git version control |
| Subject: | [Commit-gnuradio] git://gnuradio.org/jblum branch, new_volk, deleted. 9bfe75fd7c6a7069db2d2a98195faabf6ba248e2 |
| Date: | Sun, 10 Jul 2011 02:40:42 +0000 (UTC) |
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, new_volk has been deleted
was 9bfe75fd7c6a7069db2d2a98195faabf6ba248e2
-----------------------------------------------------------------------
9bfe75fd7c6a7069db2d2a98195faabf6ba248e2 volk: do not install library-only
headers
-----------------------------------------------------------------------
hooks/post-receive
--
git://gnuradio.org/jblum
| [Prev in Thread] | Current Thread | [Next in Thread] |