← Back to team overview

ffc team mailing list archive

Thread
Date

Fix bug in makedist script: correctly grep for version number.

To: ffc-dev@xxxxxxxxxx
From: ffc@xxxxxxxxxx
Date: Wed, 12 Oct 2005 04:12:49 +0200
Sender: Anders Logg <logg@xxxxxxxxxx>

Commit from logg (2005-10-12 04:12 CEST)
----------------

Fix bug in makedist script: correctly grep for version number.

  ffc  scripts/makedist  1.16