Skip to content
This repository has been archived by the owner on Jul 27, 2024. It is now read-only.

Update TROUBLESHOOTING.md to include language server stopping guide #664

Merged
merged 1 commit into from
Nov 16, 2022

Conversation

mgmanzella
Copy link
Contributor

@mgmanzella mgmanzella commented Nov 15, 2022

Encountered an issue with theme-check locally and updated docs with some hints on how to debug 😄

@mgmanzella mgmanzella requested a review from a team November 15, 2022 21:37
Copy link
Contributor

@Poitrin Poitrin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I really appreciate the idea! 😁
I just have some remarks :)

@mgmanzella mgmanzella force-pushed the troubleshooting-language-server branch from 94c503b to 47e3aa9 Compare November 16, 2022 13:56
@mgmanzella mgmanzella requested a review from Poitrin November 16, 2022 13:56
Copy link
Contributor

@Poitrin Poitrin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM :)

@mgmanzella mgmanzella merged commit 5a760c9 into main Nov 16, 2022
@mgmanzella mgmanzella deleted the troubleshooting-language-server branch November 28, 2022 15:58
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants