skratchdot/github-code-search.user.js — Issue #1: Update due to new code tab design
Author: skratchdot
Created: 2011-10-15 22:03:18+00:00
State: open

See the blog post about the updated design:

https://github.com/blog/958-the-code-tab