blob: 184e97237be72dd5daf6f4ac18c36071d320b75c [file] [log] [blame]
Matthias Andreas Benkard262110d2021-08-24 06:35:55 +02001*~
2*.iml
3
4/config.dhall
Matthias Andreas Benkardf1683f52021-08-24 20:41:41 +02005/result
Matthias Andreas Benkard262110d2021-08-24 06:35:55 +02006
7/.idea
8/.stack-work