.hgignore
author Dmitriy Morozov <dmitriy@mrzv.org>
Mon, 15 Sep 2008 16:41:18 -0700
branchdev
changeset 93 824cf6d63af0
parent 15 ef3bf83302ca
child 134 c270826fd4a8
permissions -rw-r--r--
Merged in Rips complexes

syntax: glob

docs
aux
build