|
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] |