diff options
| m--------- | src/tools/clippy | 18 | ||||
| m--------- | src/tools/rls | 0 |
2 files changed, 10 insertions, 8 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 37f5c1ec734f806fe98930b8d5f54f00013f06f +Subproject abf7f911d88e9209b54cfba2776d7dbca5a440c diff --git a/src/tools/rls b/src/tools/rls -Subproject 49efc0694e0dd551b3f06d354bbc66a206f73a0 +Subproject b202e14dbf53949d05822e680ee5166b3346885 |