Agda-2.3.2.2: examples/Introduction/Modules/.cvsignore

.*.swp
*~
.*.vim