|
.jenkins
|
Add Jenkinsfile for PR job
|
2018-10-19 15:25:10 +01:00 |
|
docker/bionic
|
Dockerfile: apt -> apt-get
|
2019-06-29 17:45:34 -05:00 |
|
git-scripts
|
Add doxygen.sh script to git hooks
|
2018-06-27 17:41:00 +03:00 |
|
scripts
|
Change Docker container to bionic
|
2019-06-29 17:45:34 -05:00 |
|
.gitignore
|
Move some ignore patterns to subdirectories
|
2015-01-28 15:33:23 +00:00 |
|
compat-in-docker.sh
|
Clean up file prologue comments
|
2019-06-29 17:45:34 -05:00 |
|
compat.sh
|
Adjust DES exclude lists in test scripts
|
2019-03-01 10:22:04 +01:00 |
|
make-in-docker.sh
|
Clean up file prologue comments
|
2019-06-29 17:45:34 -05:00 |
|
ssl-opt-in-docker.sh
|
Clean up file prologue comments
|
2019-06-29 17:45:34 -05:00 |