[Gmp-commit] /var/hg/gmp-5.0: Set execute bits.

[mercurial at gmplib.org]

details:   /var/hg/gmp-5.0/rev/816c18dbd492
changeset: 13584:816c18dbd492
user:      Torbjorn Granlund <tege at gmplib.org>
date:      Tue Jun 19 15:02:48 2012 +0200
description:
Set execute bits.