add a devel pck required by spectools
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 27 Nov 2012 15:14:52 +0000 (16:14 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 27 Nov 2012 15:14:52 +0000 (16:14 +0100)
commitfc07f9437fe4480c6ef2fd0e5d8ef6851245150c
tree9f41ef971025c4b5562fcd71d19bc3cb9f954ea8
parentaef174625d4385328a0b2ad3730f10d6866716f3
add a devel pck required by spectools
wexlxc.mk