polish: indent after if

Authored by sfrei on Jul 28 2017, 1:27 PM.

Description

polish: indent after if

Details

Committed
sfreiJul 28 2017, 1:27 PM
Parents
R482:2f56a0871df9: update
Branches
Unknown
Tags
Unknown