| commit | 9f929bb7df8fdf556ddd29ef38c0f2970ef172f6 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Tue Dec 25 15:45:15 2012 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Tue Dec 25 15:45:15 2012 +0200 |
| tree | f200ed84291e4050d2ab1aac1fde591b0375a844 | |
| parent | 405faed511dded5749c36defa6c0c1e0cc0d1e6e [diff] |
#16677: rename section header and fix markup.