enable f20 build
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 6 Jan 2014 15:36:07 +0000 (16:36 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 6 Jan 2014 15:36:07 +0000 (16:36 +0100)
commitfed0c23efeb10dc80b57e9dc03eeaea00a5e4426
tree927e487427b2fcfb08d198e7d0b0fa68822ea2a7
parenteac4bd7d4630499f034546fd6fce820bd51e46dd
enable f20 build
scripts/builds.sh