From 3a3c17f6fbcf97fe7c60bd8495a1b6a17e2d36da Mon Sep 17 00:00:00 2001 From: Roger Wolf <roger.wolf@kit.edu> Date: Mon, 28 Oct 2024 23:37:21 +0100 Subject: [PATCH] rename of file --- .../doc/{Hinwiese-Einfache-Gatter.md => Hinweise-Gatter.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Schaltlogik/doc/{Hinwiese-Einfache-Gatter.md => Hinweise-Gatter.md} (100%) diff --git a/Schaltlogik/doc/Hinwiese-Einfache-Gatter.md b/Schaltlogik/doc/Hinweise-Gatter.md similarity index 100% rename from Schaltlogik/doc/Hinwiese-Einfache-Gatter.md rename to Schaltlogik/doc/Hinweise-Gatter.md -- GitLab