diff options
| author | Josh Blum | 2011-04-14 09:39:07 -0700 |
|---|---|---|
| committer | Josh Blum | 2011-04-14 09:39:07 -0700 |
| commit | 8fb43aa9093fbbb5c9d8b9418c144dbf33730127 (patch) | |
| tree | ca0e9ccb3ae1591dcb154d732b01b84f380f80ec /grc | |
| parent | 4f41cde8c65a76cfd74d40ec24b530ef3fe4a5f4 (diff) | |
| download | gnuradio-8fb43aa9093fbbb5c9d8b9418c144dbf33730127.tar.gz gnuradio-8fb43aa9093fbbb5c9d8b9418c144dbf33730127.tar.bz2 gnuradio-8fb43aa9093fbbb5c9d8b9418c144dbf33730127.zip | |
grc: define __doc__ for license in case its optimized out (that was easy)
Diffstat (limited to 'grc')
| -rw-r--r-- | grc/python/Platform.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grc/python/Platform.py b/grc/python/Platform.py index ec3f94096..54535965b 100644 --- a/grc/python/Platform.py +++ b/grc/python/Platform.py @@ -1,4 +1,4 @@ -""" +__doc__ = """ Copyright 2008, 2009, 2010, 2011 Free Software Foundation, Inc. This file is part of GNU Radio |