[Top][All Lists]
[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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Commit-gnuradio] git://gnuradio.org/michaelld branch, makefile_var_ordering, deleted. cb2fa9a58c9a52f3501881964ee4f59992c5d84d,
git repository hosting <=