| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | COPYING | 35149 | logstatsplain |
| -rw-r--r-- | README.md | 908 | logstatsplain |
| -rw-r--r-- | github-search-pronto.user.js | 1737 | logstatsplain |
 |
index : github-search-pronto | |
| Search immediately inside a GitHub repository without having to wait for the drop-down |
| aboutsummaryrefslogtreecommitdiffstats |