Style fixes in build_theme.sh

Authored by gepardo on Dec 26 2018, 6:01 PM.

Description

Style fixes in build_theme.sh

Details

Committed
gepardoDec 26 2018, 6:01 PM
Parents
R98:b24a77ae79aa: Fix race condition during the build
Branches
Unknown
Tags
Unknown