On 13/01/18 23:35, pyfi...@gmail.com wrote:
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?
Oops. Yes, this file should stay. Besides that, I *think* you should
only have .cargo/git and .cargo/registry. These are the download cache
for dependencies.
--
Simon Sapin
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo
