Agda-2.3.2.2: src/transl/agda/.cvsignore

.*.swp
*~