| 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’. | |||
