Agda-2.3.2.2: doc/haddock/.cvsignore

.*.swp
*~
*.html *.css *.js *.gif *.haddock
src