From e6587e09d2de3f65852a8ca0d3e2cbfcbd50fd89 Mon Sep 17 00:00:00 2001 From: mikaleta Date: Thu, 20 Apr 2023 19:50:52 +0200 Subject: [PATCH] rename --- Jenkinsfile => Jenkinsfile_create_dataset | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Jenkinsfile => Jenkinsfile_create_dataset (100%) diff --git a/Jenkinsfile b/Jenkinsfile_create_dataset similarity index 100% rename from Jenkinsfile rename to Jenkinsfile_create_dataset