view .hgignore @ 92:0354d3693324 default tip

Added tag paper_final for changeset 6a12eb22be8c
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 01 Mar 2015 13:08:51 +0900
parents f15155ec9bd9
children
line wrap: on
line source

syntax: glob

.DS_Store

*.swp
*.*~

*.bbl
*.blg
*.lof
*.lol
*.lot
*.log
*.aux
*.dvi
*.toc
*.cpt

*.agda.replaced
*.agdai
*.agda~