instant team mailing list archive

Thread
Date

[HG instant] Removed arguments to clean.

To: instant-dev@xxxxxxxxxx
From: instant@xxxxxxxxxx (Instant)
Date: Mon, 11 Aug 2008 17:19:52 +0200 (CEST)
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:   182:af9a743fe2c784df274771149f74ac05a175f169
tag:         tip
user:        Ilmar Wilbers <ilmarw@xxxxxxxxx>
date:        Mon Aug 11 17:19:48 2008 +0200
files:       etc/instant-clean
description:
Removed arguments to clean.


changeset:   181:9ad7ca32b2ed675eff0da1588b5a4aaba5df7c45
user:        Ilmar Wilbers <ilmarw@xxxxxxxxx>
date:        Mon Aug 11 17:16:51 2008 +0200
files:       src/instant.py
description:
Rollback awaiting major changeset.


changeset:   180:b910c8011edd28095fb13098d9e281df04c75494
user:        Ilmar Wilbers <ilmarw@xxxxxxxxx>
date:        Mon Aug 11 14:54:56 2008 +0200
files:       src/instant.py
description:
Moved use_cache from global option to create_extension, removed global COPY_LOCAL_FILES (why was this different from USE_CACHE?).


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