log

age author description
Sun, 12 Jan 2025 21:18:44 +0100 Jonatan Werpers Merge default feature/documenter_logo
Fri, 21 Jan 2022 15:23:08 +0100 Jonatan Werpers Add a logo to the documentation feature/documenter_logo
Sat, 11 Jan 2025 10:22:43 +0100 Jonatan Werpers Merge tooling/benchmarks, updating the readme.