Subject: [Instant-dev] [HG instant] Add some more details to the doc string of build_module.

From: [email-masked] (Instant)
Date: Mon, 27 Apr 2009 14:43:16 +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:   300:39f228de8e945ac82a0e4f5bb3c025e2c9986b13
tag:         tip
user:        Ilmar Wilbers <[email-masked]>
date:        Mon Apr 27 14:43:13 2009 +0200
files:       src/instant/build.py
description:
Add some more details to the doc string of build_module.

changeset:   299:dad76aae1e9bf7ff05483f99dfaacd803c544e40
user:        Ilmar Wilbers <[email-masked]>
date:        Mon Apr 27 14:13:47 2009 +0200
files:       src/instant/build.py
description:
Disable locking when no cache is used.

changeset:   298:b466ef27eab5f8330adf707704a439222d9902ef
user:        Ilmar Wilbers <[email-masked]>
date:        Tue Apr 21 19:57:19 2009 +0200
files:       src/instant/build.py
description:
Remove unused variable.

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