Skip to content

Improve code in various places

Karel Koci requested to merge dev-suggestions into dev

Just few suggestions at once. I was lazy to comment and instead modified the code.

Edited by Vojtech Myslivec

Merge request reports