Skip to content

Use URL instead of permalink for highlighting

Nico requested to merge (removed):33-docs-not-highlighted into master

Fixes #33 (closed).

Merge request reports