search

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
357 stars 33 forks source link

Fix broken syntax highlighting after the first submodule #339

Closed FedericoPonzi closed 2 months ago

FedericoPonzi commented 2 months ago

Fixes #284 image image image

I was also able to verify the update with a test.

FedericoPonzi commented 2 months ago

I've reworded the commit message, and pushed an additional commit to fix the warning I've forgot to push in the other pr.