Skip to content
GitLab

Merge branch 'fix/handbook' into 'master'

Merged Johannes Hommel requested to merge cherry-pick-e6b38db7 into next

[doc] Remove section about outdated highlighting file

See merge request !511 (merged)

Edited by Johannes Hommel