chiark / gitweb /
print.py is now obsolete.
authorSimon Tatham <anakin@pobox.com>
Sun, 16 Mar 2014 16:37:11 +0000 (16:37 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 16 Mar 2014 16:37:11 +0000 (16:37 +0000)
commitb29025a7ea8afeebed9618327cad08fe123a4811
tree19516531fc71d4d4358b36c64e70b35e84006c6b
parent4887347ebc23e45a7374b3f8fa7e048e3c5f10cf
print.py is now obsolete.

Its job was basically to convert output from 'main' into rationals,
but main does that itself now.
print.py [deleted file]