Closed GoogleCodeExporter closed 9 years ago
Yes this appears to be a typo. Thanks for spotting this.
Original comment by L...@gmx.com
on 19 Jun 2013 at 1:11
OK, I modified the script accordingly (r417).
I'll close this issue for now.
Original comment by L...@gmx.com
on 6 Jul 2013 at 4:32
Original issue reported on code.google.com by
pterjan
on 16 Jun 2013 at 9:35