Closed mkroetzsch closed 1 month ago
This pull request fixes #339 and integrates the result in the reporting on the command line.
My local branch had some old merges still going on. Sorry for the mess. The new parts are just my commits. This also removes ByteSize from nemo-physical and nemo, as discussed.
This pull request fixes #339 and integrates the result in the reporting on the command line.