.hgignore
author Oleksandr Gavenko <gavenkoa@gmail.com>
Sat, 06 Feb 2016 02:15:18 +0200
changeset 1882 c9390070dc36
parent 1335 3bd105dc47ab
permissions -rw-r--r--
Newer approach for selecting mirror via DNS.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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