/
githubmirror
/
gitignore
Обзор
Документация
Войти
/
githubmirror
/
gitignore
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
Lean.gitignore
2 строки
70 B
Ananth Venkatesh
fix: only match on `.lake` directory
04 апр 2026, 03:04
Не верифицирован
04 апр 2026, 03:04
5f76022
Код
Авторство
О чём код?
# cache and other artifacts produced by Lean's Lake build tool .lake/