diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-06 18:35:31 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-06 18:35:31 -0400 |
| commit | 3c8a22e82b2162bff4d6d7b8ce813430bc859c77 (patch) | |
| tree | 1843ac9830c50ef4073dd6e04d1ec04df53e8dae /_CoqProject | |
| parent | c255dd3d45d9ab3e487ae5db58c14bac3a51c90c (diff) | |
ed25519: refactor some Proper
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions