agda-web-test/.gitignore
2023-07-19 23:12:02 +02:00

4 lines
27 B
Plaintext