.jenkins
|
Add Jenkinsfile for PR job
|
2018-10-19 15:25:10 +01:00 |
git-scripts
|
Add check-files.py to pre-push.sh
|
2018-05-21 11:41:18 +01:00 |
suites
|
Expand test to ensure no assumption on output
|
2018-10-16 11:22:45 +02:00 |
.gitignore
|
Move some ignore patterns to subdirectories
|
2015-01-28 15:33:23 +00:00 |
compat.sh
|
Add ChachaPoly ciphersuites to compat.sh
|
2018-06-19 13:16:30 +02:00 |
Makefile
|
Wildcard possible targets and document
|
2018-08-06 11:42:56 +01:00 |
ssl-opt.sh
|
Remove merge conflict marker in ssl-opt.sh
|
2018-10-25 21:51:32 +01:00 |