Skip to content
Snippets Groups Projects
Commit 0037fb9f authored by HeJ's avatar HeJ
Browse files

Merge branch 'add-id-to-wiki-headings' into 'develop'

Add ID attribute to headings in wiki

Closes #713

See merge request !1149
parents 1ead867b fc69c9fc
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment