diff options
Diffstat (limited to 'src/tools')
| m--------- | src/tools/clippy | 35 | ||||
| m--------- | src/tools/rls | 0 |
2 files changed, 19 insertions, 16 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 6f3f25878f2271911e4b6de4d0cf86accc39745 +Subproject 4edd140e57cce900fa930e1439bab469f5bbce4 diff --git a/src/tools/rls b/src/tools/rls -Subproject fc4db0a5e99e426fd97de370c6f36f585b6af13 +Subproject 567fb6d74cca9ccbfae2440c688035400b51e3c |