Skip to content
GitLab

time minimize

Merged Bastian Kauschke requested to merge minimize-timing into master

adds the --stats and --stats-json option to minimize

Merge request reports