diff options
Diffstat (limited to 'src/api-cryptokit.odocl')
-rw-r--r-- | src/api-cryptokit.odocl | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/api-cryptokit.odocl b/src/api-cryptokit.odocl deleted file mode 100644 index c8577fb..0000000 --- a/src/api-cryptokit.odocl +++ /dev/null @@ -1,5 +0,0 @@ -# OASIS_START -# DO NOT EDIT (digest: f65b9dc92e3f638af8533b26ac90c400) -CryptokitBignum -Cryptokit -# OASIS_STOP |