summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJakob Unterwurzacher2015-10-06 20:24:52 +0200
committerJakob Unterwurzacher2015-10-06 20:24:52 +0200
commit39ea272e233504a710ce6885434984b2f45fb398 (patch)
tree483583a5f1cea83858f8b9ad8c2d81857954ce6d /.gitignore
parentc2bd208bbe2ab1b328435bb7ddd72a2268f8aa39 (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