Some cleanup, improvements.

Authored by fkristof on Jul 15 2017, 3:52 PM.

Description

Some cleanup, improvements.

Details

Committed
fkristofJul 15 2017, 3:52 PM
Parents
R262:933fde9a36a5: merging
Branches
Unknown
Tags
Unknown