[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: |
Sat, 12 Nov 2016 15:15:08 +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 b27e602ac7db40383363f7297a4834ac2647641e
Merge: 8ddebb8 31b28f0
Author: Johnathan Corgan <address@hidden>
Date: Sat Nov 12 07:01:51 2016 -0800
Merge branch 'maint'
grc/gui/Param.py | 3 ++-
grc/gui/Utils.py | 4 ++++
grc/gui/VariableEditor.py | 9 +++++----
3 files changed, 11 insertions(+), 5 deletions(-)