From 910ec9b03d26258de342822d46e62b5bb4ee4533 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Thu, 23 Jul 2020 15:58:46 +0200
Subject: [PATCH] rename build script

---
 .ci/{build_indices_new.sh => build_indices.sh} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .ci/{build_indices_new.sh => build_indices.sh} (100%)

diff --git a/.ci/build_indices_new.sh b/.ci/build_indices.sh
similarity index 100%
rename from .ci/build_indices_new.sh
rename to .ci/build_indices.sh
-- 
GitLab