diff options
| author | Jakob Unterwurzacher | 2015-10-06 20:24:52 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2015-10-06 20:24:52 +0200 |
| commit | 39ea272e233504a710ce6885434984b2f45fb398 (patch) | |
| tree | 483583a5f1cea83858f8b9ad8c2d81857954ce6d /.gitignore | |
| parent | c2bd208bbe2ab1b328435bb7ddd72a2268f8aa39 (diff) | |
Add "--openssl=false" command line option
Also make main_test try both variants
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions