Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Move lines.js into mumi.js. | Ricardo Wurmus | 2022-12-31 | 1 | -13/+0 |
* | Only act on clicks to the left of the line.... | Ricardo Wurmus | 2022-12-31 | 1 | -1/+2 |
* | Reduce page weight by simplifying line number anchors.... | Ricardo Wurmus | 2022-12-24 | 1 | -0/+12 |