← Back to team overview

dolfin team mailing list archive

Thread
Date

Update makedist script to automatically notify dolfin-dev. [...]

To: dolfin-dev@xxxxxxxxxx
From: dolfin@xxxxxxxxxx
Date: Tue, 05 Jul 2005 23:29:13 +0200
Reply-to: Discussion of DOLFIN development <dolfin-dev@xxxxxxxxxx>
Sender: Anders Logg <logg@xxxxxxxxxx>

Commit from logg (2005-07-05 23:29 CEST)
----------------

Update makedist script to automatically notify dolfin-dev.
(We might want to cancel freshmeat announcements to dolfin-dev so
we don't get the same thing twice.)

  dolfin  scripts/makedist  1.22