remove build dependency

This commit is contained in:
2024-10-15 13:45:33 +02:00
parent 9073513e27
commit 34dcb870de
2 changed files with 5 additions and 10 deletions

1
.gitignore vendored
View File

@@ -3,3 +3,4 @@
proptest-regressions/
.idea/
result
.direnv/