[pre-commit.ci] pre-commit autoupdate - Githubissues

Julian / lean.nvim

neovim support for the Lean theorem prover

MIT License

248 stars 25 forks source link

[pre-commit.ci] pre-commit autoupdate #321

Closed pre-commit-ci[bot] closed 9 months ago

pre-commit-ci[bot] commented 9 months ago

updates:

github.com/pre-commit/mirrors-prettier: v3.0.3 → v3.1.0