diff options
| author | Laurențiu Nicola <[email protected]> | 2020-07-06 11:59:24 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-07-06 11:59:24 +0100 |
| commit | 8ab0c7ffd3f976272caa65b00220d016f6018d8a (patch) | |
| tree | 7db910db71e197fd7e492ae47077d084726d2bb3 /crates/ra_ide/src/display.rs | |
| parent | a0f24455ddc474ee288849b79aa1fc8ca7829385 (diff) | |
Don't ping people in PRs
Diffstat (limited to 'crates/ra_ide/src/display.rs')
0 files changed, 0 insertions, 0 deletions