Skip to content

Pre-commit config, linting, and type hints#13

Merged
jerry-git merged 6 commits intojerry-git:masterfrom sondrelg:pre-commitMay 31, 2021
+140-29

Commits