Age | Commit message (Expand) | Author |
---|---|---|
2018-03-27 | Fixes #1608: give pages a title | Roel Spilker |
2017-10-02 | add ids to h1/h2/h3 for linking directly to them | Roel Spilker |
2017-07-17 | Updated website to render snippets more intelligently on reasonably sized bro... | Reinier Zwitserloot |
2017-05-29 | Final touches to the new website: | Reinier Zwitserloot |
2017-05-29 | The great rename: the old ‘website’ is now ‘website-old’, and ‘webs... | Reinier Zwitserloot |