diff options
Diffstat (limited to 'external/supercop')
| m--------- | external/supercop | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/external/supercop b/external/supercop new file mode 160000 +Subproject 7d8b6878260061da56ade6d23dc833288659d0a |