diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-12 13:49:30 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-12 13:49:30 +0100 |
| commit | f3d73865d6ce6989018b3ebee8e199853253bfd7 (patch) | |
| tree | a08275bbaa5d4b56b05ba01cd18429f1acb0857e /editors/code/.gitignore | |
| parent | 1906655070f943f70d21fdbe54227d9b4521096b (diff) | |
| parent | c514060600ac6787da4bcfa0bbd8b74bb4cf7d18 (diff) | |
Merge #4855
4855: Use more idiomatic style for lifetimes in generated code r=matklad a=Veetaha
Co-authored-by: Veetaha <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions