![]() This PR documents the settings type for context servers so that the documentation shows up when editing the `settings.json` file. Release Notes: - N/A |
||
---|---|---|
.. | ||
client.rs | ||
context_servers.rs | ||
manager.rs | ||
protocol.rs | ||
registry.rs | ||
types.rs |
![]() This PR documents the settings type for context servers so that the documentation shows up when editing the `settings.json` file. Release Notes: - N/A |
||
---|---|---|
.. | ||
client.rs | ||
context_servers.rs | ||
manager.rs | ||
protocol.rs | ||
registry.rs | ||
types.rs |