| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-07-30 | Add auto-refresh checkbox, don't auto-refresh except on front page | Arjun Satarkar | |
| Also use input type "hidden" instead of display: none where appropriate (no observable effects, just cleaner). | |||
| 2023-07-30 | Simplify auto_refresh.js | Arjun Satarkar | |
| That was the default value of that parameter anyway. | |||
| 2023-07-29 | Add auto-refresh JS | Arjun Satarkar | |
 |
index : tagrss | |
| [no description] | nobody |
| aboutsummaryrefslogtreecommitdiff |