From 2e6ffaa8e699e11d026462489a4282814769a6d2 Mon Sep 17 00:00:00 2001 From: Rudi Klein Date: Sun, 5 May 2024 14:51:43 +0200 Subject: [PATCH] added missing files --- .github/workflows/{deploy.docs.yml => deploy-docs.yml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{deploy.docs.yml => deploy-docs.yml} (100%) diff --git a/.github/workflows/deploy.docs.yml b/.github/workflows/deploy-docs.yml similarity index 100% rename from .github/workflows/deploy.docs.yml rename to .github/workflows/deploy-docs.yml