instant team mailing list archive
-
instant team
-
Mailing list archive
-
Message #00227
[HG instant] Check for existens of checksum file before trying to delete it.
One or more new changesets pushed to the primary instant repository.
A short summary of the last three changesets is included below.
changeset: 218:1309a5640879d1eb7d7194a9f6c117da1f5e8c79
tag: tip
user: Ilmar Wilbers <ilmarw@xxxxxxxxx>
date: Wed Sep 03 18:18:38 2008 +0200
files: src/instant/build_module.py
description:
Check for existens of checksum file before trying to delete it.
changeset: 217:aec8ae3045a74e1467b15b5c97aa0fee78288e47
user: "Martin Sandve Alnæs <martinal@xxxxxxxxx>"
date: Wed Sep 03 13:13:08 2008 +0200
files: src/instant/cache.py src/instant/paths.py
description:
Bugfix in get_temp_dir().
changeset: 216:5ac4643892d28ae1845e6092b1c555c2c3198eb0
user: "Martin Sandve Alnæs <martinal@xxxxxxxxx>"
date: Wed Sep 03 12:51:09 2008 +0200
files: src/instant/build_module.py src/instant/cache.py
description:
Added "In instant.foo: " to warning and error messages.
----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/instant