diff options
| author | bors <bors@rust-lang.org> | 2024-03-04 08:34:11 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-04 08:34:11 +0000 |
| commit | ede97c651094cbdd5d70925e43c7726a9ca83c5a (patch) | |
| tree | d182b408e06271f56d11b7945c9b9846a7dbe0d1 /compiler/rustc_interface/src | |
| parent | f47732b55e74774595f5b12bdbfc8e8e0ec95508 (diff) | |
| parent | 81fed2f2005898c3c569fb5b389e7bb3ba874fb1 (diff) | |
| download | rust-ede97c651094cbdd5d70925e43c7726a9ca83c5a.tar.gz rust-ede97c651094cbdd5d70925e43c7726a9ca83c5a.zip | |
Auto merge of #3339 - RalfJung:remove-old-flags, r=saethlin
remove some flags that haven't had an effect in a while `@rust-lang/miri` any objections to this?
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions