Agda-2.3.2.2: src/full/Agda/Interaction/CommandLine/.cvsignore

.*.swp
*~