log

age author description
Fri, 12 Oct 2018 19:00:24 +0200 Gregory Szorc py3: sprinkle statprof.py with utf-8 encoding
Fri, 12 Oct 2018 19:17:22 +0200 Gregory Szorc py3: flush stdout
Fri, 12 Oct 2018 19:07:12 +0200 Gregory Szorc py3: use raw strings in statprof.py
Fri, 12 Oct 2018 18:51:10 +0200 Gregory Szorc py3: switch from print(..., file=) to write()