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 2025-02-21 18:03:59 +0000