github-gitignore/Idris.gitignore
2025-11-13 13:13:52 +03:00

19 lines
180 B
Plaintext

# Optional variables
.docker
data
# Environment variables
.env
.env.local
.env.development.local
.env.test.local
.env.production.local
# Idris 2
*.ttc
*.ttm
# Idris 1
*.ibc
*.o