diff options
author | Pauli <pauli@openssl.org> | 2021-09-20 09:54:10 +1000 |
---|---|---|
committer | Pauli <pauli@openssl.org> | 2021-09-21 18:02:58 +1000 |
commit | 08d8c2d87ec782e95c28ff795e096c2f6f590d63 (patch) | |
tree | 75edee5e2a20b9b6c2260e27e6710e794d99970d /util | |
parent | d270a6c9ea9f240f653a98c7eb0a5c2134a5d63a (diff) |
ci: add copyright header to CI scripts
There is quite a bit of creative effort in these and even more trouble-
shooting effort. I.e. they are non-trivial from a copyright perspective.
Reviewed-by: Tomas Mraz <tomas@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/16628)
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions