From b80baca0b0525ab4dae783bd122ad4c6eda5b496 Mon Sep 17 00:00:00 2001 From: Michael Timbert Date: Wed, 21 Aug 2024 15:36:00 +0200 Subject: [PATCH] distcheck --- .github/workflows/plop => plop | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/plop => plop (100%) diff --git a/.github/workflows/plop b/plop similarity index 100% rename from .github/workflows/plop rename to plop