Lukas Wirth 002447d6cb fix: Ask the user to reload the vscode window when changing server settings

2022-06-14 11:11:08 +02:00

..

code

fix: Ask the user to reload the vscode window when changing server settings

2022-06-14 11:11:08 +02:00