chiark / gitweb /
Revert "symbolic.py: do not print in unicode"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 14 Nov 2017 01:00:11 +0000 (01:00 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 14 Nov 2017 01:00:11 +0000 (01:00 +0000)
commit8e431ed745c7669379c7aae7b790ccf87f6859de
treed7690f58dd0c1b69e8c7167834a10296fec42989
parent48d0b530fc00876e2379800e49848bba00daa515
Revert "symbolic.py: do not print in unicode"

This reverts commit 4a064b2a787c436663062153dd63783eff25f2fd.
symbolic.py