岩元忍者's repositories
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.
A user script that adds a search box to repository pages which allows you to search the code in that repository.