Fix extension dumping problem
commitc2439e5c9604a77b077044f6964d041939f44c4d
authorCedric Bastoul <cedric.bastoul@u-psud.fr>
Tue, 14 Jun 2011 00:43:40 +0000 (14 02:43 +0200)
committerCedric Bastoul <cedric.bastoul@u-psud.fr>
Tue, 14 Jun 2011 00:43:40 +0000 (14 02:43 +0200)
tree2a678858b1cb5a68323ae816bc7746a64640683c
parent077bd1de0aa8be642c1de3813b11b7d2a86480ce
Fix extension dumping problem
source/extension.sh