lean4-htt/doc/std/grove/.gitignore
2025-06-26 13:06:56 +00:00

4 lines
No EOL
57 B
Text

/.lake
!lake-manifest.json
metadata.json
invalidated.json