Was previously using <a name="..."> elements which just add another anchor rather than changing the existing one. They also use a deprecated HTML attribute and in some cases broke the header display. Fixes #1572. Signed-off-by: Midnight Veil <midnightveil@fea.st> |
||
---|---|---|
.. | ||
.gitignore | ||
1521.clarification | ||
1560.clarification | ||
1564.clarification | ||
1578.clarification |