diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-27 14:56:24 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-27 14:56:24 +0000 |
| commit | f682627da4be4777fa0c1527398ef4136cd929b1 (patch) | |
| tree | 31317659408bc153c113df7b839582d7ba974c78 /editors/code/.gitignore | |
| parent | a8cf346b972b5e79a3b18de5a7f71e49a228be7c (diff) | |
| parent | 351670f6201d7ceabaec3e4b79e5dcf4c5048e12 (diff) | |
Merge #7797
7797: Format generated lints and features manually r=matklad a=lnicola
As `quote` and `rustfmt` leave them on a single line, which makes running `grep` in the repository quite annoying.
Also removes a dead `gen_features.rs` file (`gen_lint_completions.rs` does the same thing).
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions