log

age author description
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.
Sat, 11 Jan 2025 10:22:19 +0100 Jonatan Werpers Close before merge tooling/benchmarks
Sat, 11 Jan 2025 10:19:47 +0100 Jonatan Werpers Merge default tooling/benchmarks