Closed jabraham17 closed 4 months ago
Improves the logging to use the different vscode channels for different kinds of messages.
Also fixes the title of the Chapel Settings
[Reviewed by @ShreyasKhandekar]
Improves the logging to use the different vscode channels for different kinds of messages.
Also fixes the title of the Chapel Settings
[Reviewed by @ShreyasKhandekar]