[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] 01/01: Merge branch 'maint'
|
From: |
git |
|
Subject: |
[Commit-gnuradio] [gnuradio] 01/01: Merge branch 'maint' |
|
Date: |
Thu, 21 Aug 2014 16:23:54 +0000 (UTC) |
This is an automated email from the git hooks/post-receive script.
jcorgan pushed a commit to branch master
in repository gnuradio.
commit 60e657adac20652a9f99dc9b2384f0f9487cf67d
Merge: d07c986 bfd4787
Author: Johnathan Corgan <address@hidden>
Date: Thu Aug 21 09:22:51 2014 -0700
Merge branch 'maint'
grc/base/Platform.py | 3 ++-
grc/gui/Messages.py | 4 +++-
grc/python/Platform.py | 8 +-------
3 files changed, 6 insertions(+), 9 deletions(-)