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

From: [email-masked] (Instant)
Date: Thu, 3 Jan 2008 22:47: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:   125:a1ca0a4e1ee6b7c697cf62f4cfe3054fbfdf4744
tag:         tip
user:        kent-and@localhost
date:        Thu Jan 03 23:49:53 2008 +0100
files:       instant-cache-clean.sh
description:
bug fix

changeset:   124:71892083b818fe5f96d05fa1ee0a0907ba3e9e10
user:        kent-and@localhost
date:        Thu Jan 03 17:48:35 2008 +0100
files:       src/instant.py tests/test5.py
description:
added fix concerning empty cpp args

changeset:   123:f6deaee6d4985069574f47581b056bcd702e8170
user:        kent-and@localhost
date:        Thu Jan 03 16:46:57 2008 +0100
files:       src/instant.py
description:
USE_CACHE=0 is default

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