From e7cfde440a040bf9c2579761651d4b60c8de24d7 Mon Sep 17 00:00:00 2001 From: thedemons Date: Wed, 13 Dec 2023 19:21:31 +0700 Subject: [PATCH] Rename gen_random.GIF to gen_random.gif --- docs/images/{gen_random.GIF => gen_random.gif} | Bin 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/images/{gen_random.GIF => gen_random.gif} (100%) diff --git a/docs/images/gen_random.GIF b/docs/images/gen_random.gif similarity index 100% rename from docs/images/gen_random.GIF rename to docs/images/gen_random.gif