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

.*.swp