diff options
author | Jason Gross <jgross@mit.edu> | 2018-01-05 17:24:44 -0500 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2018-01-09 10:09:46 -0500 |
commit | d5f10c93faa58d29bf72df8eeacc4627c59e2457 (patch) | |
tree | f7124903956c67e94540264fba173d01c210af1a /third_party/openssl-nistz256-adx/LICENSE | |
parent | 7627130c3bc73b093a27eeb960882eb6989876eb (diff) |
Replace char_ge_12 with char_ge_3
We no longer seem to need the stronger hypothesis.
Diffstat (limited to 'third_party/openssl-nistz256-adx/LICENSE')
0 files changed, 0 insertions, 0 deletions