diff options
Diffstat (limited to 'src/tools')
| m--------- | src/tools/clippy | 34 | ||||
| m--------- | src/tools/rls | 0 |
2 files changed, 18 insertions, 16 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject d4092ace00d60634bcdc22135d82e05a5397126 +Subproject bb37a0f948b02e6434dbe3ea615960052d37f78 diff --git a/src/tools/rls b/src/tools/rls -Subproject 2659cbf14bfb0929a16d7ce9b6858d0bb286ede +Subproject 7d3aba2a930943c23a33d69bea9f2805d63836d |