still not good for spectools - turning off for now
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 27 Nov 2012 15:15:11 +0000 (16:15 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 27 Nov 2012 15:15:11 +0000 (16:15 +0100)
commit8a04721e49e449e291cb70d67a314ca2e64173ac
tree5b35337698a98855f3274b657e9fb3a118a4fb8a
parentfc07f9437fe4480c6ef2fd0e5d8ef6851245150c
still not good for spectools - turning off for now
wexlxc.mk