Improve tool description

Authored by apol on Nov 30 2017, 2:06 PM.

Description

Improve tool description

Details

Committed
apolNov 30 2017, 2:06 PM
Parents
R857:4b0023121d50: No need to git pull if it's already present
Branches
Unknown
Tags
Unknown