develsfa.plkgs was removed
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 23 Jan 2014 12:45:15 +0000 (13:45 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 23 Jan 2014 12:45:15 +0000 (13:45 +0100)
commit510982e9dcdc5c5deec752cfcb5165f46eb23ed3
tree9ec32b7a093f7000007bad94e6d9c7c28428a54d
parent912acb85eafa1bfdf1acd9706e3df9388dcf640f
develsfa.plkgs was removed
scripts/builds.sh