| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-11-21 | Add READMEHEADmaster | Teddy Wing |
| 2018-11-21 | Add missing semicolons | Teddy Wing |
| 2018-11-21 | Add license (GNU GPLv3+) | Teddy Wing |
| 2018-11-07 | Add github-search-pronto.user.js | Teddy Wing |
![]() |
index : github-search-pronto | |
| Search immediately inside a GitHub repository without having to wait for the drop-down |
| aboutsummaryrefslogtreecommitdiffstats |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-11-21 | Add READMEHEADmaster | Teddy Wing |
| 2018-11-21 | Add missing semicolons | Teddy Wing |
| 2018-11-21 | Add license (GNU GPLv3+) | Teddy Wing |
| 2018-11-07 | Add github-search-pronto.user.js | Teddy Wing |