Agda-2.3.2.2: examples/outdated-and-incorrect/univ/.cvsignore

.*.vim .*.swp *.agdai *.ps *.pdf
*.html .DS_Store