From 5cf394af8c9cea7fd9f97d96232a24e89e3d1a84 Mon Sep 17 00:00:00 2001 From: David Sarrut Date: Thu, 20 Jun 2013 12:28:27 +0200 Subject: [PATCH] Add gate_make_release for the gatelab (Pierre) --- {bin => cluster_tools}/gate_make_release.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {bin => cluster_tools}/gate_make_release.sh (100%) diff --git a/bin/gate_make_release.sh b/cluster_tools/gate_make_release.sh similarity index 100% rename from bin/gate_make_release.sh rename to cluster_tools/gate_make_release.sh -- 2.47.1