Skip to content

improve logging by introducing named loggers#146

Merged
memmett merged 3 commits intoParallel-in-Time:developmentfrom torbjoernk:feature/rewamp-loggingJan 21, 2015

Commits

Commits on Jan 20, 2015