.gitignore за Agda
2 правила игнорисања за Agda, спремна за копирање у репозиторијум.
Функционални језик зависног типа
Комплетан .gitignore за Agda
# Генерисао LFGitignore - https://lfgitignore.com
# Креирано: 2026-10-31 21:51:39 UTC
# Технологије: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Шта тачно игноришу ова правила за Agda
Сваки образац испод има објашњење зашто припада вашој датотеци .gitignore.
генерал
| Образац | Шта игнорише |
|---|---|
*.agdai |
генерал |
**/MAlonzo/** |
генерал |
Како користити овај .gitignore за Agda
- Копирајте горенаведена правила Agda или директно преузмите датотеку.
- Направите датотеку под називом .gitignore у корену вашег Git спремишта и налепите правила у њу.
- Ако Git већ прати неке од тих датотека, покрените git rm -r --cached . па поново направите комит — правила игнорисања важе само за датотеке које Git не прати.
- Додајте .gitignore у комит како би цео тим користио иста правила.