From 21e98eef95039352ffa04ec3c0a2efa0206294a7 Mon Sep 17 00:00:00 2001
From: Thomas Juerges <4-jurges@users.noreply.git.astron.nl>
Date: Fri, 3 Apr 2020 23:17:39 +0200
Subject: [PATCH] Rename the itango console to just itango.sh

---
 itango_console/{launch_itango_console.sh => itango.sh} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename itango_console/{launch_itango_console.sh => itango.sh} (100%)

diff --git a/itango_console/launch_itango_console.sh b/itango_console/itango.sh
similarity index 100%
rename from itango_console/launch_itango_console.sh
rename to itango_console/itango.sh
-- 
GitLab