author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Wed, 26 Aug 2020 13:19:53 +0300 | |
changeset 2431 | 08707f0c75ce |
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 |