Agda-2.3.2.2: examples/outdated-and-incorrect/iird/Proof/.cvsignore

.*.swp
*~
.*.agda.vim
*.agdai