Mercurial > hg > Papers > 2015 > atton-thesis
annotate .hgignore @ 30:67d79c18a276
Update description and delta definition
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 12 Feb 2015 12:39:57 +0900 |
parents | a0d91fbf4876 |
children | 2ff5acb0d2e9 |
rev | line source |
---|---|
0 | 1 syntax: glob |
2 | |
3 .DS_Store | |
4 | |
5 *.swp | |
25
a0d91fbf4876
Add description prove method in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
6 *.*~ |
0 | 7 |
1 | 8 *.lof |
19
43d3e7b31fc0
Fix listings and page numbering
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
13
diff
changeset
|
9 *.lol |
1 | 10 *.lot |
0 | 11 *.log |
12 *.aux | |
13 *.dvi | |
14 *.toc | |
15 *.cpt | |
13
9fed7b342d56
Add forgot figure files
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
1
diff
changeset
|
16 |
25
a0d91fbf4876
Add description prove method in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
17 *.agdai |
a0d91fbf4876
Add description prove method in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
18 *.agda~ |
a0d91fbf4876
Add description prove method in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
19 |
13
9fed7b342d56
Add forgot figure files
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
1
diff
changeset
|
20 main.pdf |