chore: add organize imports prettier plugin and organize all imports - Githubissues

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

169 stars 48 forks source link

chore: add organize imports prettier plugin and organize all imports #435

Closed mhuisi closed 6 months ago

mhuisi commented 7 months ago

This also automatically gets rid of unused imports.