diff options
| author | Blaž Hrastnik | 2020-08-11 14:22:34 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2020-08-11 14:22:34 +0000 |
| commit | 29f1be91a2f954f719cb654f5d14d8e549a54755 (patch) | |
| tree | 038a365fb51a543f8be51f6c5385dd0702178b13 /editor.rs | |
| parent | 4733afa6c2c2b41d70b2d76748b4feb374b0ba77 (diff) | |
Fix clippy lints.
Diffstat (limited to 'editor.rs')
0 files changed, 0 insertions, 0 deletions