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 3e51206a6b build, jenkins: Jenkins version tag should be same as when building manually

2016-09-06 13:02:17 +02:00

..

build-linux.bash

…

build-macos.bash

…

build-windows.bat

jenkins: Add batch file for Windows

2016-09-04 16:43:56 +02:00

common.bash

build, jenkins: Jenkins version tag should be same as when building manually

2016-09-06 13:02:17 +02:00