Agda-2.3.2.2: src/main/.cvsignore

dist setup .uptodate .setup-config