This repository has been archived on 2026-05-28. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Jakob Borg 526cab538a jenkins: Don't fetch --prune unnecessarily, print build version on Windows

2016-09-13 22:18:55 +02:00

1.9 KiB

Raw Blame History

View Raw