| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | activity_info_server.js | 4101 | logplain |
| -rw-r--r-- | main.js | 11528 | logplain |
| -rw-r--r-- | page_actions.js | 3586 | logplain |
| -rw-r--r-- | repo_query.js | 4597 | logplain |
 |
index : browser-extension | |
| A discontinued Web Extension to facilitate replacing sites' js with user-supplied scripts |
| aboutsummaryrefslogtreecommitdiff |