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, new_volk, deleted. 2e


From: git repository hosting
Subject: [Commit-gnuradio] git://gnuradio.org/jblum branch, new_volk, deleted. 2ee8f152e69dbe52d7be6fd6509bbbf6b0c8d825
Date: Thu, 28 Apr 2011 18:25:43 +0100 (BST)

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  2ee8f152e69dbe52d7be6fd6509bbbf6b0c8d825

-----------------------------------------------------------------------
2ee8f152e69dbe52d7be6fd6509bbbf6b0c8d825 volk: use srcdir/gen as gendir (will 
fight another day)
-----------------------------------------------------------------------


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



reply via email to

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