.jenkins
|
Add Jenkinsfile for PR job
|
2018-10-19 15:25:10 +01:00 |
data_files
|
Always revoke certificate on CRL
|
2020-08-26 11:42:52 +02:00 |
git-scripts
|
Fix license header in pre-commit hook
|
2020-08-19 17:54:47 +02:00 |
scripts
|
Merge branch 'mbedtls-2.16-restricted'
|
2020-08-26 14:16:04 +01:00 |
suites
|
Merge branch 'mbedtls-2.16-restricted'
|
2020-08-26 14:16:04 +01:00 |
.gitignore
|
Move some ignore patterns to subdirectories
|
2015-01-28 15:33:23 +00:00 |
compat.sh
|
compat.sh: stop using allow_sha1
|
2020-08-21 13:01:17 +02:00 |