Open GoogleCodeExporter opened 9 years ago
There's code to attempt to do this, but in some cases the last digit of the heading will be non-zero.
Original issue reported on code.google.com by ph...@google.com on 7 Jan 2011 at 11:01
ph...@google.com
Original issue reported on code.google.com by
ph...@google.com
on 7 Jan 2011 at 11:01