From 520fe1a1d0b83440ec17ab774307b5dfc01f9573 Mon Sep 17 00:00:00 2001 From: Marouen Date: Fri, 26 Jul 2024 10:16:45 -0400 Subject: [PATCH] Rename TIGER.html to tiger.html --- docs/reference/{TIGER.html => tiger.html} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/reference/{TIGER.html => tiger.html} (100%) diff --git a/docs/reference/TIGER.html b/docs/reference/tiger.html similarity index 100% rename from docs/reference/TIGER.html rename to docs/reference/tiger.html