← All repos

skratchdot/github-code-search.user.js

View on GitHub ↗ ★ 54 JavaScript

A user script that adds a search box to repository pages which allows you to search the code in that repository.

3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2012-05-05 · latest 2013-05-05