update

12 months ago · 2c8aab0407
parent 047451ee34
commit 2c8aab0407
3 changed files with 2 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1 @@
+SOURCES/fiat-crypto-0.1.20-clean.crate
--- a/.rust-fiat-crypto.metadata
+++ b/.rust-fiat-crypto.metadata
@ -0,0 +1 @@
+8fbeecfe6a23e430a771240983d86f8a7cfe2ec0  SOURCES/fiat-crypto-0.1.20-clean.crate
--- a/SOURCES/fiat-crypto-0.1.20-clean.crate
+++ b/SOURCES/fiat-crypto-0.1.20-clean.crate
				`@ -0,0 +1 @@`
				`8fbeecfe6a23e430a771240983d86f8a7cfe2ec0 SOURCES/fiat-crypto-0.1.20-clean.crate`