Files
lean4game/.gitignore
T

6 lines
57 B
Plaintext

node_modules
client/dist
server/build
**/lake-packages/