Merge pull request #539 from spicyj/doc-anchors-again
Make doc headers clickable again
Paul O’Shannessy committed
Nov 18, 2013 at 17:45 UTC
e79079d174f60e88d0eff3c58640109cd487135f
No changes.
Make doc headers clickable again
No changes.