diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-12-13 00:40:01 -0500 |
|---|---|---|
| committer |  Andres Erbsen <andreser@mit.edu> | 2018-01-09 10:09:46 -0500 |
| commit | 32133752a3d4ab3bae14df49921c9ad1e73fae5e (patch) | |
| tree | d8802582a40256dd021a087b080f6ef0fc0dd667 /src/Curves | |
| parent | 609b74a924acfd763ef1ad10e9102193b441699e (diff) | |
Move Curves/Weierstrass/Jacobian to curves-proofs
We have about 15 minutes to spare on the curves-proofs travis job, so we
move Jacobian.vo from no-curves-proofs-non-specific to there.
Diffstat (limited to 'src/Curves')
0 files changed, 0 insertions, 0 deletions