diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 16:18:29 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 16:18:29 (GMT) |
commit | 05b2c03cf3971303354b3a188fbbb0bbb8d554fc (patch) | |
tree | 48d3cd2f58036285e00fb9a1537206d514aa2eea /devbot/plugins/interfaces.py | |
parent | 19843bd69f1ca9085e0126c6fe19a042f31cbe3f (diff) |
Make json configs a bit smarter
To get rid of the duplication in deps
Diffstat (limited to 'devbot/plugins/interfaces.py')
-rw-r--r-- | devbot/plugins/interfaces.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devbot/plugins/interfaces.py b/devbot/plugins/interfaces.py index 0c9c0b6..c6db014 100644 --- a/devbot/plugins/interfaces.py +++ b/devbot/plugins/interfaces.py @@ -48,6 +48,9 @@ class DistroInfo: major version of GNOME installed on the system. """ + self.gstreamer_version = None + """The version of gstreamer shipped with the distribution.""" + self.valid = False """If set to True we are running on this distribution and the attributes are all valid. |