commit 92bba7384c3f670913c6ae21d12577bb5150f812 parent 71960c64a7f4eb0ef766bfcbb884b895ad4a894c Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Sun, 26 Mar 2017 15:43:49 +0200 rename scripts Diffstat:
4 files changed, 0 insertions(+), 0 deletions(-)
diff --git a/buildbot/switch_build.sh b/buildbot/build.sh diff --git a/buildbot/switch_checks.sh b/buildbot/checks.sh diff --git a/buildbot/switch_restart.sh b/buildbot/restart.sh diff --git a/buildbot/switch_switch.sh b/buildbot/switch.sh