Properly detect section titles with two-digit minor numbers
authorFabian Keil <fk@fabiankeil.de>
Tue, 5 Feb 2013 14:04:50 +0000 (14:04 +0000)
committerFabian Keil <fk@fabiankeil.de>
Tue, 5 Feb 2013 14:04:50 +0000 (14:04 +0000)
Previously they weren't underlined and the section number
wasn't normalized.

Reported by Ralf Jungblut.


No differences found