git

Git proxy and no_proxy setting (both working on Ubuntu/Windows)
git
2017-04-28
…