diff options
| author | Evgenii P <[email protected]> | 2019-08-08 02:58:28 +0100 |
|---|---|---|
| committer | Evgenii P <[email protected]> | 2019-08-08 02:58:28 +0100 |
| commit | 77f4ab3e9bff67d9efbbf1c1be5575630bcbb1d8 (patch) | |
| tree | c7fd5eda4cc9fa29bd8e13d991b7d585fb226741 /crates/ra_ide_api/src/marks.rs | |
| parent | 79d4202194ebeb080b1ae283c56a1697aa4a6fcc (diff) | |
Deduplicate while loop break condition
Diffstat (limited to 'crates/ra_ide_api/src/marks.rs')
0 files changed, 0 insertions, 0 deletions