diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-03-04 20:48:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-04 20:48:17 +0100 |
| commit | 538f19d6386897867bae85319b510088bc89313f (patch) | |
| tree | d6de20261fccde666ef517aaa07cdd78d124d301 /compiler/rustc_parse/src | |
| parent | 60f54b1025344f4e2db18227664ccc998225708f (diff) | |
| parent | 00f98e6810f71fe306100dbd1ddba9666f22453b (diff) | |
| download | rust-538f19d6386897867bae85319b510088bc89313f.tar.gz rust-538f19d6386897867bae85319b510088bc89313f.zip | |
Rollup merge of #108632 - Teapot4195:issue-108612-fix, r=ozkanonur
Omit unchanged options from config.toml in `configure.py` Leaves section tags, but removes options that are unchanged. Change in `config.toml.example` is to prevent comments from sneaking in by being directly after a section tag closes #108612
Diffstat (limited to 'compiler/rustc_parse/src')
0 files changed, 0 insertions, 0 deletions