fixup! Fix thor

This commit is contained in:
Filippo Berto 2024-10-21 20:06:58 +02:00
parent c103109233
commit a8ee39aaa3
Signed by: bertof
GPG key ID: 9DBF7E6A1D2CE9ED
6 changed files with 2 additions and 221 deletions

1
.gitignore vendored
View file

@ -1,4 +1,5 @@
result
result-*
.direnv
.pre-commit-config.yaml
.worktrees/