ci: speed up Windows phase
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 29 Jan 2019 14:19:38 +0000 (06:19 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 29 Jan 2019 17:26:47 +0000 (09:26 -0800)
commita87e427...35fc79677dd85d591a7b37fb2539189a
tree6d04ccd...f1f51f778cdd11f48e2cf0c840800c10copy hash to clipboard (tree)
parentdd167a3...01a18ca1e9bcb607dfbdffbfe5af2113copy hash to clipboard (diff)
ci/lib.sh