templates/idris2/.gitignore

4 lines
22 B
Plaintext
Raw Permalink Normal View History

2024-03-05 16:52:45 +01:00
build/
result
.direnv