log scripts/logformat.py @ 7666:4473f1094d3d

age author description
Sat, 05 Jan 2019 14:57:49 +0100 Mads Kiilerich scripts: clean up and run the old scripts/logformat.py script
Fri, 25 Aug 2017 14:30:57 +0200 Lars Kruse py3: replace "file" with "open"
Fri, 27 Nov 2015 01:48:09 +0100 Mads Kiilerich cleanup: introduce scripts/logformat.py for cleanup of string formatting of logging statements