chiark / gitweb /
symbolic.py: do not print in unicode
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 13 Nov 2017 22:08:45 +0000 (22:08 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 13 Nov 2017 22:08:45 +0000 (22:08 +0000)
commit4a064b2a787c436663062153dd63783eff25f2fd
tree5ea5fd5d058ed4184263f50589bcb65716d45793
parent609c90ddb7f4c3c88cfc9c6c6f26ec32deff22f1
symbolic.py: do not print in unicode

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
symbolic.py