Update inputs

This commit is contained in:
Filippo Berto 2022-08-24 08:26:22 +02:00
parent b31d417ff1
commit 84ed0d7a01
2 changed files with 13 additions and 12 deletions

1
.gitignore vendored
View file

@ -1,2 +1,3 @@
result
.direnv
.pre-commit-config.yaml