commit-gnuradio
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Commit-gnuradio] git://gnuradio.org/jblum branch, volk_work, deleted. 6


From: git version control
Subject: [Commit-gnuradio] git://gnuradio.org/jblum branch, volk_work, deleted. 61f7a286cd11fa053e3877262e78da5756dc83b2
Date: Tue, 17 Apr 2012 04:52:19 +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, volk_work has been deleted
       was  61f7a286cd11fa053e3877262e78da5756dc83b2

-----------------------------------------------------------------------
61f7a286cd11fa053e3877262e78da5756dc83b2 volk: fix volk_profile install rule
-----------------------------------------------------------------------


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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]