instant team mailing list archive

Thread
Date

[HG instant] changed from copy dir from /tmp/instant to

To: instant-dev@xxxxxxxxxx
From: instant@xxxxxxxxxx (Instant)
Date: Fri, 30 Nov 2007 22:47:55 +0100 (CET)
Delivered-to: instant-dev@xxxxxxxxxx

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

changeset:   109:f57fdf24d7941a184f7e4bc8ab623cc7fded8111
tag:         tip
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


changeset:   108:f91c4ecf36bcaada1d6227526fb55e8b2f6b7b33
user:        "Martin Sandve AlnÃ¦s <martinal@xxxxxxxxx>"
date:        Fri Nov 30 20:19:01 2007 +0100
files:       src/instant.py
description:
Setting COPY=0 by default.


changeset:   107:88051b49b8fe9e27d7bd5a510458725559e648dd
user:        kent-and@localhost
date:        Wed Nov 21 16:14:27 2007 +0100
files:       src/instant.py tests/clean.sh
description:
added the feature Anders Logg requested


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