Move some pretty printing code around.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Fri, 13 Feb 2009 13:54:00 +0000 (14:54 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Fri, 13 Feb 2009 13:54:00 +0000 (14:54 +0100)

No differences found