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 -Subproject 7d8b6878260061da56ade6d23dc833288659d0a +Subproject 633500ad8c8759995049ccd022107d1fa8a1bbc |