Age | Commit message (Expand) | Author |
---|---|---|
2022-12-07 | Remove repeat and enforce-determinism options | Linus Heckemann |
2022-05-26 | doc: Manually insert some anchors | Jan Tojnar |
2020-07-31 | Enable syntax highlighting | Eelco Dolstra |
2020-07-24 | Fix some dangling references | Eelco Dolstra |
2020-07-23 | Pandoc conversion | Eelco Dolstra |