Age | Commit message (Collapse) | 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 ↵ | Reinier Zwitserloot | |
browser windows. | |||
2017-05-29 | Final touches to the new website: | Reinier Zwitserloot | |
* htaccess for ‘nice looking’ URLs. * download-edge overwritten upon stable releases. * fixes to the build system. * Added google analytics pagetracker. | |||
2017-05-29 | The great rename: the old ‘website’ is now ‘website-old’, and ↵ | Reinier Zwitserloot | |
‘website2’ is now ‘website’. |