Gilles Peskine a31d8206b1 Merge remote-tracking branch 'upstream-public/pr/778' into development-proposed

2018-03-12 23:45:08 +01:00

..

data_files

Merge branch 'pr_1135' into development-proposed

2018-02-14 17:20:42 +01:00

git-scripts

Move the git scripts to correct path

2017-07-27 21:44:34 +01:00

scripts

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

2018-03-11 00:45:10 +01:00

suites

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

2018-03-12 23:45:08 +01:00

.gitignore

…

CMakeLists.txt

…

compat.sh

wait_server_start: warn if lsof is not available

2018-01-22 10:29:24 +01:00

Descriptions.txt

…

Makefile

…

ssl-opt.sh

Merge branch 'prr_424' into development-proposed

2018-02-22 16:15:01 +01:00