.jenkins
|
Add Jenkinsfile for PR job
|
2018-10-19 15:25:57 +01:00 |
data_files
|
Always revoke certificate on CRL
|
2020-08-26 11:38:41 +02:00 |
git-scripts
|
Fix license header in pre-commit hook
|
2020-08-20 09:27:07 +02:00 |
scripts
|
Merge branch 'mbedtls-2.7-restricted'
|
2020-08-26 14:16:29 +01:00 |
suites
|
Merge branch 'mbedtls-2.7-restricted'
|
2020-08-26 14:16:29 +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:42:29 +02:00 |