author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Mon, 18 Jun 2018 17:23:33 +0300 (2018-06-18) | |
changeset 2251 | 841872ee6d85 |
parent 1335 | 3bd105dc47ab |
permissions | -rw-r--r-- |
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
1 |
syntax: glob |
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
2 |
tips-html/ |
1335
3bd105dc47ab
Do not track HEADER.rst under HG.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
902
diff
changeset
|
3 |
HEADER.rst |