search

skratchdot / github-code-search.user.js

A user script that adds a search box to repository pages which allows you to search the code in that repository.
54 stars 4 forks source link

Update due to new code tab design #1

Closed skratchdot closed 13 years ago

skratchdot commented 13 years ago

See the blog post about the updated design:

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