odoo/odoo-extra — pull request #7 by bwrsandman (2014-06-13 19:39:28+00:00)
Title: Fix server error when viewing runbot page with no repos

Only display filters when there are repos
Only display search when there are repos

Fixes #4 #5