cantino/huginn — pull request #87 by cantino (2013-09-02 01:47:22+00:00)
Title: Add quick navigation box for Agents

Add a "quick navigation" search box in the header. Typing `/` autoselects it.