Code

Fix highlighting of comments#3226

Code

Merged

lukaszcz merged 2 commits intomainanoma/juvix:mainfrom highlight-commentsanoma/juvix:highlight-commentsCopy head branch name to clipboardDec 6, 2024

+30-28

Commits

Commits on Dec 6, 2024

• rename

  

  janmasrovira

  authored and

  lukaszcz

  committed
  0b94716

• properly register comments as parsed items

  

  janmasrovira

  authored and

  lukaszcz

  committed
  8fa54ab