Skip to content
GitLab

Cleanup/indentations

Merged Dennis Gläser requested to merge cleanup/indentations into master

some code cleanup of random stuff i found. This only changes indentations and/or docu.

depends on !973 (merged). As soon as that is merged, the WIP can be resolved.

Edited by Dennis Gläser