about summary refs log tree commit diff
path: root/.gitignore
blob: 4fbd9bcf62445476dff6fcef3bcbbad5049bcbb2 (plain) 
1
2
3
4
5
6
7

.direnv
result
*.pdf
tests/runtests.log
tests/out
.stack-work
*.lock
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-19 17:06:16 +0000