Compiler-2020
Compiler-2020 copied to clipboard
git operation can be simplified in gitTools.py
use [git clone %s .] instead