.jenkins
|
Add Jenkinsfile for PR job
|
2018-10-19 15:25:10 +01:00 |
data_files
|
Rename server1.der to server1.crt.der
|
2019-05-30 10:27:49 +01:00 |
git-scripts
|
Add doxygen.sh script to git hooks
|
2018-06-27 17:41:00 +03:00 |
scripts
|
Document the scripts behaviour further
|
2019-04-18 13:18:22 +01:00 |
suites
|
Rename server1.der to server1.crt.der
|
2019-05-30 10:27:49 +01:00 |
compat.sh
|
Adjust DES exclude lists in test scripts
|
2019-03-01 10:30:11 +01:00 |
Makefile
|
Add a facility to skip running some test suites
|
2018-12-14 18:29:28 +01:00 |