From dd75e415dd49c1dfa6b9e961097ab23d2d80fee0 Mon Sep 17 00:00:00 2001 From: kovacsv Date: Sun, 18 Sep 2022 11:13:39 +0200 Subject: [PATCH] Rename file. --- sandbox/{three_minimal_ortho.html => three_ortho.html} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename sandbox/{three_minimal_ortho.html => three_ortho.html} (100%) diff --git a/sandbox/three_minimal_ortho.html b/sandbox/three_ortho.html similarity index 100% rename from sandbox/three_minimal_ortho.html rename to sandbox/three_ortho.html