diff options
author | Florian Diebold <[email protected]> | 2021-06-07 13:34:41 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-06-07 13:34:41 +0100 |
commit | fc2d286dae5bdca4c846f65ea016c0df2b2d5e83 (patch) | |
tree | 76c37292537685f37df64a03a85e7460cfe92292 /crates/ide/src | |
parent | 5f7fc5ae68ff5debead06e377153e100b6e9951d (diff) |
Clarify label documentation
Also some other cleanups while I'm there.
Diffstat (limited to 'crates/ide/src')
0 files changed, 0 insertions, 0 deletions