MikeLund 1e54a3e801 jenkins: use https when downloading docs (fixes #3651) ...

GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3652

2016-10-05 12:17:35 +00:00

..

build-linux.bash

build: Simpler creation of Debian packages

2016-09-12 12:21:07 +00:00

build-macos.bash

jenkins: Add scripts for automated builds (Linux & Mac)

2016-09-04 15:30:16 +02:00

build-windows.bat

jenkins: Don't fetch --prune unnecessarily, print build version on Windows

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

common.bash

jenkins: use https when downloading docs (fixes #3651)

2016-10-05 12:17:35 +00:00