From bbaa7c67f43f91dd5b7df938a3b69fb691119e23 Mon Sep 17 00:00:00 2001
From: hyugogirubato <65763543+hyugogirubato@users.noreply.github.com>
Date: Sun, 31 Mar 2024 13:45:30 +0200
Subject: [PATCH] rename symbols file

---
 docs/version/18.0.0/{symboles.xml => symbols.xml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename docs/version/18.0.0/{symboles.xml => symbols.xml} (100%)

diff --git a/docs/version/18.0.0/symboles.xml b/docs/version/18.0.0/symbols.xml
similarity index 100%
rename from docs/version/18.0.0/symboles.xml
rename to docs/version/18.0.0/symbols.xml