Search box seems not to work

Open agarwal opened this issue 12 years ago • 1 comments

For example, typing catch into the box here just redirects me to this.

Jan 02 '14 22:01 agarwal

Not implemented yet; I should have stubbed that out with a panel marking it so.

Jan 03 '14 22:01 avsm