author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Sun, 13 Mar 2016 18:20:35 +0200 | |
changeset 339 | 4d8d46bbe30d |
parent 315 | d694f7ede942 |
child 482 | fefea56726d2 |
permissions | -rw-r--r-- |
102 | 1 |
syntax: glob |
2 |
||
339
4d8d46bbe30d
Move RST files to separate directory. Build HTML files out of sources
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
315
diff
changeset
|
3 |
dist/ |
4d8d46bbe30d
Move RST files to separate directory. Build HTML files out of sources
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
315
diff
changeset
|
4 |
|
102 | 5 |
*.dict |
6 |
*.dict.dz |
|
7 |
*.index |
|
8 |
*.html |
|
308
7a5f4265a581
Build and deploy VOA in PDF format.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
277
diff
changeset
|
9 |
voa-special.aux |
7a5f4265a581
Build and deploy VOA in PDF format.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
277
diff
changeset
|
10 |
voa-special.log |
7a5f4265a581
Build and deploy VOA in PDF format.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
277
diff
changeset
|
11 |
voa-special.out |
7a5f4265a581
Build and deploy VOA in PDF format.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
277
diff
changeset
|
12 |
voa-special.pdf |
103 | 13 |
*.tar.gz |
14 |
*.tar.bz2 |
|
104
4ebab09991e6
Exclude dist dirs from HG tracking.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
103
diff
changeset
|
15 |
gadict-*.*/** |
315 | 16 |
|
17 |
.devel/ |
|
102 | 18 |
*~ |