syntax: glob

.DS_Store

*.swp
*.*~

*.lof
*.lol
*.lot
*.log
*.aux
*.dvi
*.toc
*.cpt

*.agda.replaced
*.agdai
*.agda~

main.pdf