pymor/pymor — pull request #77 by ftalbrecht (2014-11-05 10:13:27+00:00)
Title: [core.logger] allow to enable simultaneous file logging

See the commit messages.