Agda-2.3.2.2: examples/AIM5/PolyDep/Homogenous/.cvsignore

.*.swp *.agdai