diff options
| author |  jadep <jadep@mit.edu> | 2019-03-12 15:56:17 -0400 |
|---|---|---|
| committer |  jadephilipoom <jade.philipoom@gmail.com> | 2019-03-25 06:13:45 -0400 |
| commit | 44d7932acb4eb48e0c75497747c5e3bd203afc3d (patch) | |
| tree | 1a0f29d941abc68c6ff8d9fa2f9f807267629576 /src/Fancy/Montgomery256.v | |
| parent | d71fe6f9e283ba7b297da63fa5240c9117acd570 (diff) | |
remove 2: syntax so I don't break 8.7
Diffstat (limited to 'src/Fancy/Montgomery256.v')
0 files changed, 0 insertions, 0 deletions