author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Sat, 17 Feb 2024 23:00:15 +0200 | |
changeset 2587 | 0230a6677c40 |
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 |