Subject: [Instant-dev] [HG instant] Made som fixes for cache directories, should be the correct path now.

From: [email-masked] (Instant)
Date: Thu, 28 Aug 2008 15:08:07 +0200 (CEST)

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

changeset:   189:c671954b558c7fd902a54f6c53acaebfea093d34
tag:         tip
user:        Ilmar Wilbers <[email-masked]>
date:        Thu Aug 28 15:07:58 2008 +0200
files:       src/instant.py
description:
Made som fixes for cache directories, should be the correct path now.

changeset:   188:17692e30855cbef6ec04d4704c3a50fed6817985
user:        Ilmar Wilbers <[email-masked]>
date:        Thu Aug 28 11:38:10 2008 +0200
files:       src/instant.py
description:
Added check to avoid copying files to and from the same location.

changeset:   187:4d175bac8c3085de2b11bf265da02cf364475b99
user:        Ilmar Wilbers <[email-masked]>
date:        Thu Aug 28 10:57:55 2008 +0200
files:       src/instant.py
description:
Changed use_cache from bool to str (location of cache directory).

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