log Makefile @ 1197:5e20c0815e07 tooling/benchmarks

age author description
Fri, 14 Jan 2022 13:24:15 +0100 Jonatan Werpers Make the targets properly depend on the source files feature/setup_documenter
Fri, 14 Jan 2022 11:56:18 +0100 Jonatan Werpers Use two folders for local and webserver builds feature/setup_documenter