diff options
| author | Jonas Schievink <[email protected]> | 2020-12-06 13:23:55 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-06 13:23:55 +0000 |
| commit | 45b8b3d57fd1a38a0ccce8516cbebbd09184d59a (patch) | |
| tree | 5de8d09fea220460bf49657f086d3130c79eb491 /editors | |
| parent | 2a6c246184536761971b5338d5638e4bfff6ce64 (diff) | |
Apply suggestions from code review
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions