diff options
author | VladimĂr Kotal <vladimir.kotal@oracle.com> | 2023-06-19 13:43:35 +0200 |
---|---|---|
committer | Pauli <pauli@openssl.org> | 2023-06-28 09:32:03 +1000 |
commit | 956b4c75dc3f8710bf7b4e1cf01b4ef6d5ca2b45 (patch) | |
tree | 03e5b4b81778829f68b92639aaa0df8f0ec36457 /.gitignore | |
parent | 32d2b5fdd93ceee192abefb3fd0ce8f9a1b329c2 (diff) | |
download | openssl-956b4c75dc3f8710bf7b4e1cf01b4ef6d5ca2b45.tar.gz |
add no-docs option
Reviewed-by: Tomas Mraz <tomas@openssl.org>
Reviewed-by: Paul Dale <pauli@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/21240)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions