Age | Commit message (Expand) | Author |
---|---|---|
2019-04-24 | [fixes #2085] JDK12 compatibility. Also acknowledging @nqzero for the permit-... | Reinier Zwitserloot |
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 ‘webs... | Reinier Zwitserloot |