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

[mercurial at gmplib.org]

details:   /var/hg/gmp/rev/3700547fffb1
changeset: 15054:3700547fffb1
user:      Torbjorn Granlund <tege at gmplib.org>
date:      Tue Jun 19 15:03:50 2012 +0200
description:
Set execute bits.