instant team mailing list archive

Thread
Date

[HG instant] Fix bug with not replacing None with default cache dir.

To: instant-dev@xxxxxxxxxx
From: instant@xxxxxxxxxx (Instant)
Date: Thu, 4 Sep 2008 15:41:36 +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:   225:0f068629900ea09061d10f0b23945d7c709f829d
tag:         tip
user:        "Martin Sandve AlnÃ¦s <martinal@xxxxxxxxx>"
date:        Thu Sep 04 15:41:36 2008 +0200
files:       src/instant/cache.py
description:
Fix bug with not replacing None with default cache dir.


changeset:   224:4c8e1d8ba634f4e71d178890adb379494745a87a
user:        Johannes Ring <johannr@xxxxxxxxx>
date:        Thu Sep 04 11:25:35 2008 +0200
files:       setup.py
description:
Generate batch files for Windows.


changeset:   223:0b0f236b43e36aabe06b15bf027d705505d48732
user:        "Martin Sandve AlnÃ¦s <martinal@xxxxxxxxx>"
date:        Thu Sep 04 13:42:50 2008 +0200
files:       src/instant/config.py
description:
Bugfix in use of get_status_output.


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