tree 15ee38cfb0a46546a48673ba910d6aa3a8d06dc4
parent 7c9c9fd24f0a02c137b8f438a48c2d69210bfdd1
author Dmitry Vyukov <dvyukov@google.com> 1553178530 +0100
committer GitHub <noreply@github.com> 1553178530 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJck5+iCRBK7hj4Ov3rIwAAdHIIALBJS4nhyk254MUARA5OLAbX
 DgalFRKpb7LrJIbJhS7m33G1drPtq0JC5BNUoXYy+19zmyAuQhzKwmXttA+6ncYC
 cNfS0SV7Xum+mcjr1cNEa3rJskwNBQ2C9AfEm44nV1aCUbXPhi50INsZ4YH61ylr
 urGTrwUfJjRlAI229jFRShPDcZ6rIJpwqSr4pBuTqrvbreIKVF4wR7TzPA5OnN/N
 Nq+gx43Zz7kAOnIGUx8EJZypp4+r9JeLe+1BVoO1DnKJT26FUWX7KA4aedZO7TBC
 cvoGUFg4tNT68MVucSNGB+320LhbRN57I/jtwBVFTRY07QYNybXJ/s2Ch7U3HZ0=
 =FMgV
 -----END PGP SIGNATURE-----
 

docs: add custom anchors to headers

Add shorter anchors that does not depend on actual text (subject to change).
This allows to generate shorter stable links to docs.
Let's see if this syntax works.