Logging
Coming from https://github.com/dune-community/dune-gdt/pull/198, lets discuss some logging. I will add some motivation and requirements for what I did here in the next days...
Coming from https://github.com/dune-community/dune-gdt/pull/198, lets discuss some logging. I will add some motivation and requirements for what I did here in the next days...