author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Fri, 17 Jun 2022 21:48:15 +0300 | |
changeset 2537 | a222347b6993 |
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 |