Age | Commit message (Expand) | Author |
---|---|---|
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-24 | Get rid of footnotes | Eelco Dolstra |
2020-07-23 | Reconvert | Eelco Dolstra |
2020-07-23 | Pandoc conversion | Eelco Dolstra |