David Wood cd23af6793 session: terminal-width -> output-width ...

Rename the `--terminal-width` flag to `--output-width` as the behaviour
doesn't just apply to terminals (and so is slightly less accurate).

Signed-off-by: David Wood <david.wood@huawei.com>

2022-07-06 17:38:18 +01:00

..

src

session: terminal-width -> output-width

2022-07-06 17:38:18 +01:00

Cargo.toml

Revert "Remove num_cpus dependency from bootstrap, build-manifest and rustc_session"

2022-06-09 03:10:15 -07:00