/
githubmirror
/
gitignore
Обзор
Документация
Войти
/
githubmirror
/
gitignore
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
community/HOL.gitignore
11 строк
112 B
Lorenz Leutgeb
Create HOL.gitignore
18 апр 2026, 19:24
18 апр 2026, 19:24
b423122
Код
Авторство
О чём код?
*Script # Holmake generated files *Theory.sig *Theory.sml *.uo *.ui # Holmake auxiliary files .hollogs .HOLMK