Цей веб-сайт працює краще з JavaScript.
Головна
Огляд
Довідка
Увійти
mirrors
/
gitignore
дзеркало
https://github.com/github/gitignore.git
Слідкувати
1
В обрані
0
Форк
0
Код
Проблеми
0
Релізи
0
Вікі
Активність
Ви не можете вибрати більше 25 тем
Теми мають розпочинатися з літери або цифри, можуть містити дефіси (-) і не повинні перевищувати 35 символів.
2700
Коміти
8
Гілки
Дерево:
433d622b9f
main
rmw-universe
rmw-universe-2022
add-metadata
annotating-visualstudio
ghfw
old-ghfw
reduce-noise
Гілки
Теги
${ item.name }
Створити гілку
${ searchTerm }
з '433d622b9f'
${ noResults }
gitignore
/
Agda.gitignore
Agda.gitignore
8B
Неформатований
Normal View
Історія
Create Agda.gitignore Ignore .agdai files, they're binary files generated by typechecking .agda files. Agda is an interactive proof assistant, home page here: http://wiki.portal.chalmers.se/agda/pmwiki.php `.agdai` files seem to be only documented here (and indirectly by googling): http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.PerformanceTips A prominent repository using Agda on github: https://github.com/HoTT/HoTT-Agda/ Their gitignore files: https://github.com/HoTT/HoTT-Agda/blob/master/.gitignore
10 роки тому
1
*.agdai