clean up & refoldering

This commit is contained in:
2024-11-28 15:44:34 +01:00
parent 56ca921d8f
commit 508aa43dc8
32 changed files with 177 additions and 641 deletions

View File

@@ -77,7 +77,7 @@ in {
# Lean
lean
# Python
ruff-lsp
ruff
pyright
isort
python311Packages.autopep8