Agda-2.3.2.2: notes/talks/video060510/.cvsignore

*.pdf *.nav *.out *.ps *.snm *.toc