diff options
| author | Michael Goulet <michael@errs.io> | 2023-06-02 16:02:05 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-02 16:02:05 -0700 |
| commit | dd09f4d35c5b6881f0eb757b5fd8c1604be3b06a (patch) | |
| tree | e989994ea719c4af2cfb2c8a7b683f93a6b5ad6b /compiler/rustc_interface/src | |
| parent | 6c9b7d6cbf71b93ec63f19a6648e222bb776338f (diff) | |
| parent | a45fc9465204c9fb8c6792e74e3ed10959e46001 (diff) | |
| download | rust-dd09f4d35c5b6881f0eb757b5fd8c1604be3b06a.tar.gz rust-dd09f4d35c5b6881f0eb757b5fd8c1604be3b06a.zip | |
Rollup merge of #112166 - AnakinSkywalkeer:master, r=clubby789
bootstrap: Rename profile = user to profile = dist Fixes #112074
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions