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

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