summary refs log tree commit diff
path: root/.gitignore
blob: c6f8b467e30ed7ef2058795b525425e148728443 (plain) 
1
2
3

.direnv
*.smt
__pycache__
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-10-18 10:20:10 +0000