Files
CoqDecks/.gitignore
T
2022-05-20 16:56:56 +01:00

11 lines
109 B
Plaintext

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