dolfin team mailing list archive

Thread
Date

[HG] Minor fix in makedist script (maintainer-clean-generic)

To: dolfin-dev@xxxxxxxxxx
From: dolfin@xxxxxxxxxx (DOLFIN)
Date: Wed, 6 Sep 2006 18:55:18 +0200 (CEST)
Delivered-to: dolfin-dev@xxxxxxxxxx

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

changeset:   2222:fe2fbeeb0b688dcfb4e7cdaf967fbfe5b41e9c8c
tag:         tip
user:        "Anders Logg <logg@xxxxxxxxx>"
date:        Wed Sep 06 18:55:12 2006 +0200
files:       scripts/makedist
description:
Minor fix in makedist script (maintainer-clean-generic)


changeset:   2221:0c2383ea437d9b2e9f1e3e134229b9a1ffe9d144
user:        "Anders Logg <logg@xxxxxxxxx>"
date:        Wed Sep 06 18:18:15 2006 +0200
files:       ChangeLog configure configure.ac
description:
Version 0.6.2-1


changeset:   2220:d42651ac13f40c0f993412257a5f5c81b66b6a6b
user:        "Anders Logg <logg@xxxxxxxxx>"
date:        Wed Sep 06 17:31:45 2006 +0200
files:       scripts/makedist
description:
Add compilation with --enable-petsc to makedist test script


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