Rename TIGER.html to tiger.html

netZoo · Jul 26, 2024 · 520fe1a · 520fe1a
1 parent b2c8379
commit 520fe1a
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/reference/TIGER.html → docs/reference/tiger.html b/docs/reference/TIGER.html → docs/reference/tiger.html