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. 0


From: git version control
Subject: [Commit-gnuradio] git://gnuradio.org/jblum branch, volk_work, deleted. 0899dfc0ef4cab909271bb9d70cc03c602ca9714
Date: Tue, 8 Nov 2011 23:30:22 +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  0899dfc0ef4cab909271bb9d70cc03c602ca9714

-----------------------------------------------------------------------
0899dfc0ef4cab909271bb9d70cc03c602ca9714 volk: replace separate_arguments with 
string replace (performs a whitespace split)
-----------------------------------------------------------------------


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



reply via email to

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