Put header-anchors in header. For Compliance, correctness, consistency

The anchor would else point to the end of the previous section
Also this causes issues with tools ensuring a blank line before a header.
This commit is contained in:
Thibault Kruse 2015-09-27 21:34:55 +02:00
parent 2ab0ecbfeb
commit a7dc7d1fa6

File diff suppressed because it is too large Load Diff