Skip to content
Unverified Commit 2cd0e9ed authored by Axel Kohlmeyer's avatar Axel Kohlmeyer Committed by GitHub
Browse files

Merge pull request #2335 from rbberger/doc_updates

Update documentation pages headings and update style check tool to detect missing index entries.
parents 80519cd1 8def5844
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment