From dcf677a1d5f35d15940ddb818b878dedaafded5d Mon Sep 17 00:00:00 2001 From: pcampalani Date: Mon, 11 Sep 2023 19:10:49 +0200 Subject: [PATCH] Remove .sh extension in launcher. --- bin/{launch_openeo.sh => launch_openeo} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename bin/{launch_openeo.sh => launch_openeo} (100%) diff --git a/bin/launch_openeo.sh b/bin/launch_openeo similarity index 100% rename from bin/launch_openeo.sh rename to bin/launch_openeo