Agda-2.3.2.2: src/full/Agda/Syntax/Abstract/.cvsignore

.*.swp
*~