philipphoffmann/gnome3-jenkins-indicator — pull request #58 by david-caro (2014-03-27 18:01:56+00:00)
Title: Added regexpes

Added the possibility to use regexpes when filtering by name.

Also:
* unified the modified files using spaces
* added notbuilt color