remove out-of-place gitignore

This commit is contained in:
Jörg Thalheim 2025-03-22 08:53:21 +01:00
parent e084771264
commit 9f4d084e36

View File

@ -1,5 +0,0 @@
temp
.direnv
*-report
result*
workdir