Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-04-24 | [fixes #2085] JDK12 compatibility. Also acknowledging @nqzero for the ↵ | Reinier Zwitserloot | |
permit-reflect library which is inspiring our shenanigans :) | |||
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-05-29 | The great rename: the old ‘website’ is now ‘website-old’, and ↵ | Reinier Zwitserloot | |
‘website2’ is now ‘website’. |