author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Thu, 13 Feb 2020 13:33:15 +0200 | |
changeset 2411 | 417b9ee21460 |
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 |