Closed bernhardmgruber closed 5 months ago
This PR tries to get the coding guidelines up to the status-quo, but does not propose any rule changes. I reworded some sentences while reading.
Fixes: #2231
This PR tries to get the coding guidelines up to the status-quo, but does not propose any rule changes. I reworded some sentences while reading.
Fixes: #2231