Skip to content
Snippets Groups Projects
Commit 89183da1 authored by Thomas Fetzer's avatar Thomas Fetzer
Browse files

[doc] Remove section about outdated highlighting file

parent 563f242a
2 merge requests!600[WIP][components][plotproperties] Add a source file to plot properties of some components,!511[doc] Remove section about outdated highlighting file
This commit is part of merge request !511. Comments created here will be created in the context of that merge request.
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment