diff options
author | 2017-04-04 14:50:12 -0400 | |
---|---|---|
committer | 2017-04-04 14:50:12 -0400 | |
commit | 6cba3c4e0572e9d917d3578c39f4f85cd3799b54 (patch) | |
tree | 67cbdfff8e1f35c2898e0dc18f0848652e0dec04 /src/Spec/Ed25519.v | |
parent | 7071632d516e361d6ad7dc10f5bbb7f39d4c4217 (diff) |
Move sigma MapProjections to a separate file
Allows for more fine-grained imports
Diffstat (limited to 'src/Spec/Ed25519.v')
0 files changed, 0 insertions, 0 deletions