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