Simon Butcher 7904f94550 Merge remote-tracking branch 'public/pr/1099' into development-proposed

2018-10-28 18:10:37 +00:00

..

.jenkins

Add Jenkinsfile for PR job

2018-10-19 15:25:10 +01:00

data_files

…

git-scripts

…

scripts

Merge remote-tracking branch 'public/pr/2031' into development

2018-10-27 18:34:18 +01:00

suites

Merge remote-tracking branch 'public/pr/1099' into development-proposed

2018-10-28 18:10:37 +00:00

.gitignore

…

CMakeLists.txt

…

compat.sh

…

Descriptions.txt

…

Makefile

Fix "make WINDOWS_BUILD=1 clean" on non-Windows hosts

2018-09-26 16:50:31 +02:00

ssl-opt.sh

Remove merge conflict marker in ssl-opt.sh

2018-10-25 21:51:32 +01:00