instant team mailing list archive

Thread
Date

[HG instant] Rollback awaiting major changeset.

To: instant-dev@xxxxxxxxxx
From: instant@xxxxxxxxxx (Instant)
Date: Mon, 11 Aug 2008 17:16:54 +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:   181:9ad7ca32b2ed675eff0da1588b5a4aaba5df7c45
tag:         tip
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?).


changeset:   179:8f0f226c934be3608f8ee01d694eb5fb53eb97f2
user:        Ilmar Wilbers <ilmarw@xxxxxxxxx>
date:        Mon Aug 11 13:21:29 2008 +0200
files:       etc/instant-cache-clean.sh etc/instant-clean setup.py src/instant.py
description:
Changed clean script to using Python, making it platform-independent. Also, get cache dir and tmp dir from instant module.


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