encode Python strings more correctly than before
authorThorsten Glaser <tg@mirbsd.org>
Fri, 20 Jun 2014 22:51:48 +0000 (22:51 +0000)
committerThorsten Glaser <tg@mirbsd.org>
Fri, 20 Jun 2014 22:51:48 +0000 (22:51 +0000)
commit345218a3890f722330452ae5d2bbbf6ae09da75d
tree9a88a5eed0d450d528b5ed9aea9bb945e1c4af90
parent930ed10dfe719175cd7e6439abbdbb47e7f89ecf
encode Python strings more correctly than before

… and I had searched wide and far. But, as Teckids commit
8c602b87620514d04965f3fcd8000ea65652fd80 describes, hex-encoding
e̲v̲e̲r̲y̲ appears to be the only really working way…
mksh/verscmp