Closed GoogleCodeExporter closed 9 years ago
Thanks, good idea! I had to modify the patch since tabs have been converted to
spaces, and I also added a test. I have now applied it.
Original comment by marcel.m...@tu-dortmund.de
on 13 Nov 2014 at 9:57
Original issue reported on code.google.com by
Rasmus.B...@gmail.com
on 12 Nov 2014 at 8:18Attachments: