Subject: [FFC-dev] Fix bug in makedist script: correctly grep for version number.

From: [email-masked]
Date: Wed, 12 Oct 2005 04:12:49 +0200

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

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

  ffc  scripts/makedist  1.16