Subject: [Instant-dev] [HG instant] added the variable COPY_LOCAL_FILES which

From: [email-masked] (Instant)
Date: Thu, 3 Jan 2008 15:41:47 +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:   122:091026644ea6ee43fd65f0cc814e89b4c8ac0fbc
tag:         tip
user:        kent-and@localhost
date:        Thu Jan 03 16:43:47 2008 +0100
files:       src/instant.py
description:
added the variable COPY_LOCAL_FILES which
can be used to turn on and off the copying
of local files into the directory named by
the variable 'module'.

changeset:   121:fdff42fe147d2fa2eef77e145ea9fb5439446ebe
user:        kent-and@localhost
date:        Thu Jan 03 10:58:40 2008 +0100
files:       src/instant.py tests/test11.py
description:
bug fix when storing things locally

changeset:   120:71e884182db68272b297c51858664eea19061be1
user:        kent-and@localhost
date:        Thu Jan 03 10:12:16 2008 +0100
files:       src/instant.py
description:
added VERBOSE in md5 print

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