commit-gnuradio
[Top][All Lists]
Advanced

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

[Commit-gnuradio] git://gnuradio.org/michaelld branch, makefile_var_orde


From: git repository hosting
Subject: [Commit-gnuradio] git://gnuradio.org/michaelld branch, makefile_var_ordering, deleted. cb2fa9a58c9a52f3501881964ee4f59992c5d84d
Date: Fri, 29 Oct 2010 16:42:17 +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/michaelld".

The branch, makefile_var_ordering has been deleted
       was  cb2fa9a58c9a52f3501881964ee4f59992c5d84d

-----------------------------------------------------------------------
cb2fa9a58c9a52f3501881964ee4f59992c5d84d rearrange includes to always be: 
internal GR, external, with GR.
-----------------------------------------------------------------------


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



reply via email to

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