From 2cd78ae1e94f638066ccdb72329f8c858e840292 Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Tue, 13 May 2025 10:56:34 +0200 Subject: [PATCH] rename files with spaces in doc --- doc/{Screen Shot sea.png => Screen_Shot_sea.png} | Bin ...{urls for graphics.txt => urls_for_graphics.txt} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename doc/{Screen Shot sea.png => Screen_Shot_sea.png} (100%) rename doc/{urls for graphics.txt => urls_for_graphics.txt} (100%) diff --git a/doc/Screen Shot sea.png b/doc/Screen_Shot_sea.png similarity index 100% rename from doc/Screen Shot sea.png rename to doc/Screen_Shot_sea.png diff --git a/doc/urls for graphics.txt b/doc/urls_for_graphics.txt similarity index 100% rename from doc/urls for graphics.txt rename to doc/urls_for_graphics.txt