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