|
| From: | git version control |
| Subject: | [Commit-gnuradio] git://gnuradio.org/jblum branch, cherry_pick_me_volk, deleted. 29c90b85e8b3ba57f31c9e36b5837b856512030f |
| Date: | Fri, 31 Aug 2012 03:23:14 +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, cherry_pick_me_volk has been deleted
was 29c90b85e8b3ba57f31c9e36b5837b856512030f
-----------------------------------------------------------------------
29c90b85e8b3ba57f31c9e36b5837b856512030f volk: dont set CMAKE_REQUIRED_FLAGS
when empty
-----------------------------------------------------------------------
hooks/post-receive
--
git://gnuradio.org/jblum
| [Prev in Thread] | Current Thread | [Next in Thread] |