From 5e29783ede2f40d4db861595280a584a9ef0ddc0 Mon Sep 17 00:00:00 2001 From: David Sarrut Date: Thu, 20 Jun 2013 13:07:00 +0200 Subject: [PATCH] rename file --- cluster_tools/{upload_release.sh => gate_upload_release.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename cluster_tools/{upload_release.sh => gate_upload_release.sh} (100%) diff --git a/cluster_tools/upload_release.sh b/cluster_tools/gate_upload_release.sh similarity index 100% rename from cluster_tools/upload_release.sh rename to cluster_tools/gate_upload_release.sh -- 2.47.1