log scripts/logformat.py @ 6720:9846e4d1f9cd

age author description
Fri, 27 Nov 2015 01:48:09 +0100 Mads Kiilerich cleanup: introduce scripts/logformat.py for cleanup of string formatting of logging statements