diff options
| author | Sverker Eriksson <[email protected]> | 2018-01-16 21:33:53 +0100 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2018-01-16 21:38:37 +0100 |
| commit | 165ab6aafd9b17ac402cca78bbeddc7a7c293dd5 (patch) | |
| tree | b20e238b1ba0c1b890c3fcd3dee4803f703c80e6 /scripts/pre-push | |
| parent | 553f4fdb6893289cd9c7f07bbb3e599c55cf3498 (diff) | |
| download | otp-165ab6aafd9b17ac402cca78bbeddc7a7c293dd5.tar.gz otp-165ab6aafd9b17ac402cca78bbeddc7a7c293dd5.tar.bz2 otp-165ab6aafd9b17ac402cca78bbeddc7a7c293dd5.zip | |
hipe: Make option 'verify_gcsafe' the default
Diffstat (limited to 'scripts/pre-push')
0 files changed, 0 insertions, 0 deletions