aboutsummaryrefslogtreecommitdiff
path: root/Makefile (unfollow)
Commit message (Expand)AuthorFilesLines
2023-10-22Preparatory work for benchmarks, little fixesSebastiano Tronto1-7/+10

Generated with cgit - Back to sebastiano.tronto.net