15 Aug
2007
15 Aug
'07
10:02 p.m.
Hello, I've just pushed a fix that adds back correct indentation to the printer. It also has the pleasant side-effect of making the code a little simpler and a little shorter. Please feel free to pull the changes and review them. Vladimir