config: Drop workaround for bug in cargo 0.13

cargo 0.13 required specifying a registry for source.crates-io even when
overriding it.  cargo 0.14 no longer requires that.  Drop the
workaround.

diff --git a/config b/config
index 70dcf1b0c0d661b27d451618be581ce5c822b644..9ea9235e1ead39fae921a22bb8d0e1c11a6b6069 100644 (file)
--- a/config
+++ b/config
@@ -1,6 +1,5 @@
 [source.crates-io]
 replace-with = "debian-registry"
-local-registry = "/nonexistent"
 
 [source.debian-registry]
 directory = "/usr/share/cargo/registry"