diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2019-11-22 11:50:12 -0300 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-11-22 08:50:12 -0600 |
| commit | 6080c313c0a78323934f81a47623f17ee48c17cc (patch) | |
| tree | 6ca194333bbf7f1bb46582865eb20c29b8ef3555 /proofs/signatures/th_quant.plf | |
| parent | 8592fa1e2226e2c8b301ad9ed8caa13fad4c5913 (diff) | |
fixing stupid typo (#3488)
Diffstat (limited to 'proofs/signatures/th_quant.plf')
0 files changed, 0 insertions, 0 deletions