Skip to content

Timings to stderr

Yannik Müller requested to merge timingsToStderr into master

Seperate progress, results, info and debug output from each other Results to stdout, info and debug to stderr, progress to be discussed. Rewrite output according to DRY principle

Edited by Yannik Müller

Merge request reports