4 Commits (bf0a510981ddc28c754881ca21c50ab18e5f2b59)

Author	SHA1	Message	Date
MarcoFalke	fa488f131f	scripted-diff: Bump copyright headers ... -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-	5 years ago
Sebastian Falbesoner	332f373a9d	[scripts] previous_release: improve failed download error message ... before: ------------------------------------------------------------ $ contrib/devtools/previous_release.sh -r -b v0.9.5 [...] gzip: stdin: not in gzip format tar: Child returned status 1 tar: Error is not recoverable: exiting now ------------------------------------------------------------ now: ------------------------------------------------------------ $ contrib/devtools/previous_release.sh -r -b v0.9.5 [...] curl: (22) The requested URL returned error: 404 Not Found Download failed. ------------------------------------------------------------	5 years ago
Sjors Provoost	c7ca630896	[scripts] support release candidates of earlier releases	5 years ago
Sjors Provoost	ae379cf7d1	[scripts] build earlier releases	5 years ago