From e584d3d75fa7a73f43f134acf42739eae03e344f Mon Sep 17 00:00:00 2001
From: Fabian Wachsmann <wachsmann@dkrz.de>
Date: Thu, 9 Jan 2025 09:37:03 +0000
Subject: [PATCH] Update README

---
 workshop/{README => README.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename workshop/{README => README.md} (100%)

diff --git a/workshop/README b/workshop/README.md
similarity index 100%
rename from workshop/README
rename to workshop/README.md
-- 
GitLab