.hgignore
author Dmitriy Morozov <dmitriy@mrzv.org>
Tue, 27 Jun 2017 09:37:05 -0700
changeset 285 d9a79a28e3cc
parent 134 c270826fd4a8
permissions -rw-r--r--
Merge dev into default, to avoid the need for 'hg up tip' after clone

syntax: glob

docs
aux
build
doc/.build