Agda-2.3.2.2: notes/papers/implicit/.cvsignore

*.ps .*.swp
*.pdf
.DS_Store
examples.tex lhs2TeXpreamble.tex
exintro.tex