Rename gen_random.GIF to gen_random.gif

Exafunction · Dec 13, 2023 · e7cfde4 · e7cfde4
1 parent 1141212
commit e7cfde4
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/images/gen_random.GIF → docs/images/gen_random.gif b/docs/images/gen_random.GIF → docs/images/gen_random.gif