Merge pull request #493 from guidobouman/master
Prevent header anchors from interfering with clickable content in docs.
Paul O’Shannessy committed
Nov 13, 2013 at 12:23 UTC
e716c2ee35c1c73756004058a5e8704d15f475d8
No changes.