comparison .hgignore @ 36:2ff5acb0d2e9

Add escape script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Thu, 12 Feb 2015 17:44:18 +0900
parents a0d91fbf4876
children bf136bd59e7a
comparison
equal deleted inserted replaced
35:7efeca634b50 36:2ff5acb0d2e9
12 *.aux 12 *.aux
13 *.dvi 13 *.dvi
14 *.toc 14 *.toc
15 *.cpt 15 *.cpt
16 16
17 *.agda.replaced
17 *.agdai 18 *.agdai
18 *.agda~ 19 *.agda~
19 20
20 main.pdf 21 main.pdf