update

1 year ago · 9e79a57c9a
parent 7e37e03de1
commit 9e79a57c9a
3 changed files with 2 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1 @@
+SOURCES/proptest-0.10.1.crate
--- a/.rust-proptest0.10.metadata
+++ b/.rust-proptest0.10.metadata
@ -0,0 +1 @@
+8e46539aac4ea43a35e667a2a0f83853bd798478  SOURCES/proptest-0.10.1.crate
--- a/SOURCES/proptest-0.10.1.crate
+++ b/SOURCES/proptest-0.10.1.crate
				`@ -0,0 +1 @@`
				`8e46539aac4ea43a35e667a2a0f83853bd798478 SOURCES/proptest-0.10.1.crate`