use bash
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 28 Feb 2013 09:32:11 +0000 (10:32 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 28 Feb 2013 09:32:11 +0000 (10:32 +0100)
commit58732ff527cf46cc4b8de5f7e87d8a698224e0b7
tree15553b84a1f9a7f8f6b4436c9af7be4f27f838c8
parent225d78afd08ad382b3e20152dc94c71a7c206b8e
use bash
scripts/sfa-stable-debian.sh