]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #1338 from bjorn3/build_system_rework5
authorbjorn3 <17426603+bjorn3@users.noreply.github.com>
Thu, 5 Jan 2023 18:57:10 +0000 (19:57 +0100)
committerGitHub <noreply@github.com>
Thu, 5 Jan 2023 18:57:10 +0000 (19:57 +0100)
Avoid clobbering build_system/ and ~/.cargo/bin


Trivial merge