[SCM] Git Repository for packaging Poly/ML (http://www.polyml.org) branch, master, updated. debian/5.2-3-8-gb7bf7ed

Sat Aug 16 12:59:50 UTC 2008

The following commit has been merged in the master branch:
commit b7bf7ed372399553b3eb9ebc82bfc913048dcca6
Merge: e51cf338729ab8d799439bc69ac5089dc8bc1a3c f91e977564b4d5cbeed176b0a5061349d74c2a48
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Sat Aug 16 14:58:08 2008 +0200

    Merge branch 'master' of ssh://lmamane@git.debian.org/git/debian-science/packages/polyml


-- 
Git Repository for packaging Poly/ML (http://www.polyml.org)