From c8170a1fb2b6927fcb11f5d3d265772ab0f13c63 Mon Sep 17 00:00:00 2001 From: yann300 Date: Thu, 28 Feb 2019 17:43:00 +0100 Subject: [PATCH] Rename deploy_from_travis_remix-alpha to deploy_from_travis_remix-alpha.sh --- ..._from_travis_remix-alpha => deploy_from_travis_remix-alpha.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename ci/{deploy_from_travis_remix-alpha => deploy_from_travis_remix-alpha.sh} (100%) diff --git a/ci/deploy_from_travis_remix-alpha b/ci/deploy_from_travis_remix-alpha.sh similarity index 100% rename from ci/deploy_from_travis_remix-alpha rename to ci/deploy_from_travis_remix-alpha.sh