tools, improved source build script

Authored by bcoudoin on Aug 7 2016, 1:37 PM.

Description

tools, improved source build script

no more use git alias
delete created temp branch
small other fixes.

Details

Committed
bcoudoinAug 7 2016, 1:56 PM
Parents
R2:d409c08b4010: menu, no more display the download welcome dialog if download is disabled
Branches
Unknown
Tags
Unknown