From 4a69f6d6667b395a4a8798ed801b69915da318bd Mon Sep 17 00:00:00 2001 From: tpeulen Date: Mon, 22 Jan 2024 13:20:46 +0100 Subject: [PATCH] Remove gitlab webide config --- .github/workflows/{gitlab-sync.bml => gitlab-sync.yml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{gitlab-sync.bml => gitlab-sync.yml} (100%) diff --git a/.github/workflows/gitlab-sync.bml b/.github/workflows/gitlab-sync.yml similarity index 100% rename from .github/workflows/gitlab-sync.bml rename to .github/workflows/gitlab-sync.yml