Subject: [Instant-dev] [HG instant] bug fix

From: [email-masked] (Instant)
Date: Fri, 7 Dec 2007 11:06:52 +0100 (CET)

One or more new changesets pushed to the primary instant repository.
A short summary of the last three changesets is included below.

changeset:   111:7a8e32b36d569cd3dcbb253177e7d56c9518ee33
tag:         tip
user:        kent-and@localhost
date:        Fri Dec 07 12:07:02 2007 +0100
files:       src/instant.py
description:
bug fix

changeset:   110:60fa2e9e6ea569ca56dfba736ca2165096692e16
user:        kent-and@localhost
date:        Fri Nov 30 23:49:49 2007 +0100
files:       src/instant.py
description:
COPY=0

changeset:   109:f57fdf24d7941a184f7e4bc8ab623cc7fded8111
user:        kent-and@localhost
date:        Fri Nov 30 23:49:28 2007 +0100
files:       src/instant.py
description:
changed from copy dir from /tmp/instant to
os.environ['HOME']/.instant

don't know if os.environ['HOME'] is portable

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/instant