Code

[dev env] Update prettier to 3.2.5#688

Code

Merged

ejgallego merged 2 commits intomainejgallego/coq-lsp:mainfrom update-prettierejgallego/coq-lsp:update-prettierCopy head branch name to clipboardApr 29, 2024

+61-41

Commits

Commits on Apr 29, 2024

• [dev env] Update prettier to 3.2.5

  Show description for 3a08203
  ejgallego

  committed
  3a08203

  Copy full SHA for 3a08203

• chore: update nix flake

  Show description for cdb30d8
  

  Alizter

  authored and

  ejgallego

  committed
  cdb30d8

  Copy full SHA for cdb30d8