chore: add a devcontainer setup #50

Merged
Philipp merged 3 commits from add-devcontainer into main 2025-12-27 01:02:37 +01:00
Owner

Add a devcontainer setup and remove a few redundent pre-commit hooks

Add a devcontainer setup and remove a few redundent pre-commit hooks
Philipp added 3 commits 2025-12-27 01:01:57 +01:00
Philipp merged commit 65486738c0 into main 2025-12-27 01:02:37 +01:00
Philipp deleted branch add-devcontainer 2025-12-27 01:02:37 +01:00
Sign in to join this conversation.