Upstream PR to `vscode-reasonml` - Githubissues

imandra-ai / imandra-vscode

VSCode extension for developing imandra

Other

2 stars 0 forks source link

Upstream PR to `vscode-reasonml` #4

Closed ewenmaclean closed 5 years ago

ewenmaclean commented 6 years ago

allow resetting of reason.server.languages env variable