| commit | 4268b3a751bb94da6bc2438a17c26cc3f88e32a8 | [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 | 3a3f42b02ad04c2da619a126eb43d446b1f2e0f1 | |
| parent | 2380feeff8e574690831d2eb778ca52d3af09b8a [diff] |
#16677: rename section header and fix markup.