LINKDING
Login
Shared bookmarks
Sort by
Added ↑
Added ↓
Title ↑
Title ↓
Apply
Tags
skratchdot/github-code-search.user.js
#blogit
#code
#github
#greasemonkey
#search
|
A very handy userscript that adds a per-repo search box to GitHub pages. Also led me to discover [NinjaKit](http://d.hatena.ne.jp/os0x/20100612/1276330696).
12 years ago
|
View
Shared by
ttscoff
Previous
1
Next
User
Everyone
ttscoff
Apply
Tags
-code
-search
-blogit
-greasemonkey
g
ithub