Files
CoqDecks/.gitignore
T
Gareth Latty dcdf011304 Initial v2
2019-06-22 04:37:15 +01:00

10 lines
100 B
Plaintext

# IDE files.
.idea/
# Generated files.
dist/
# Package management cruft.
elm-stuff/
node_modules/