> Similarly, in the default config we used to override $CARGO_HOME (which 
> contains a cache of crates.io and git dependencies) to .cargo under the 
> repo. You also remove that, now we leave the environment’s $CARGO_HOME 
> (which defaults to ~/.cargo). This cache is now shared with other clones 
> of the repository, or with other projects that might use some of the 
> same Rust dependencies.
> 
> -- 
> Simon Sapin

Hi, I deleted .cargo and noticed that there was a file .cargo/config in this 
folder which is still part of the git repo. 
(https://github.com/servo/servo/blob/7b92eb932b34ce1a4b823b2571a50a928491b4b2/.cargo/config)

Is it still needed or can it be removed?
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo

Reply via email to