agda-web-test/.gitignore

4 lines
27 B
Plaintext
Raw Normal View History

2023-07-19 23:12:02 +02:00
*.js
*.~undo-tree~
*.agdai